From df6bbf1d4ee6c6049afe3bd0ad5b90fc9406dbc6 Mon Sep 17 00:00:00 2001
From: Thomas Kriechbaumer <thomas@kriechbaumer.name>
Date: Mon, 13 Apr 2020 12:20:50 +0200
Subject: [PATCH] fix docker entrypoint

fixes #3933
---
 release/docker/docker-entrypoint.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/release/docker/docker-entrypoint.sh b/release/docker/docker-entrypoint.sh
index 7bb3028a3..84ea81e6a 100755
--- 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