From 61912cc89a0ee391fdb1d79203fbf027822fa97d Mon Sep 17 00:00:00 2001 From: Luca Ceresoli Date: Mon, 14 Feb 2022 17:24:12 +0100 Subject: [PATCH] utils/docker-run: use portable bash shebang /usr/bin/bash does not exist on Ubuntu 2018.04. Use the more portable alternative "#!/usr/bin/env bash" which we are already using in quite a few scripts. Signed-off-by: Luca Ceresoli Fixes: 242e9d72e7d2 ("utils/docker-run: new script") [yann.morin.1998@free.fr: use "#!/usr/bin/env bash", not "@!/bin/bash"] Signed-off-by: Yann E. MORIN --- utils/docker-run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils/docker-run b/utils/docker-run index 0614f1325d..35153199a1 100755 --- a/utils/docker-run +++ b/utils/docker-run @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/usr/bin/env bash set -o errexit -o pipefail DIR=$(dirname "${0}") MAIN_DIR=$(readlink -f "${DIR}/..")