From f5fdc54d3a0845d0590c181d3bd6016f22765431 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Tue, 5 Feb 2019 10:42:30 +0100 Subject: [PATCH] guix-install.sh: Avoid "#!/bin/bash" shebang. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Fixes . Reported by Claes Wallin (韋嘉誠) . * etc/guix-install.sh: Change shebang to #!/bin/sh and add 'if' statement to spawn Bash if needed. --- etc/guix-install.sh | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/etc/guix-install.sh b/etc/guix-install.sh index 8eb5214049..dc8de2fe92 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # GNU Guix --- Functional package management for GNU # Copyright © 2017 sharlatan # Copyright © 2018 Ricardo Wurmus @@ -19,6 +19,13 @@ # You should have received a copy of the GNU General Public License # along with GNU Guix. If not, see . +# We require Bash but for portability we'd rather not use /bin/bash or +# /usr/bin/env in the shebang, hence this hack. +if [ "x$BASH_VERSION" = "x" ] +then + exec bash "$0" "$@" +fi + set -e [ "$UID" -eq 0 ] || { echo "This script must be run as root."; exit 1; }