fix docker entrypoint

fixes #3933
2020-04-13 12:20:50 +02:00 · 2020-04-13 12:20:50 +02:00 · df6bbf1d4e
parent 6d68764707
commit df6bbf1d4e
1 changed files with 2 additions and 1 deletions
--- a/release/docker/docker-entrypoint.sh
+++ b/release/docker/docker-entrypoint.sh
@ -1,4 +1,5 @@
-#!/usr/bin/env bash
+#!/bin/sh
+# WARNING: do not change the shebang - the Docker base image might not have what you want!

 set -o errexit
 set -o pipefail