Subject: bug#34279: closed (Re: bug#34279: guix-install.sh: uses /bin/bash shebang)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 05 Feb 2019 11:05:02 +0000

Your bug report

#34279: guix-install.sh: uses /bin/bash shebang

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
34279: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34279
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#34279: guix-install.sh: uses /bin/bash shebang
From: Ludovic Courtès <[email-masked]>
To: Claes Wallin (韋嘉誠) <[email-masked]>
Cc: [email-masked]
Date: Tue, 05 Feb 2019 12:04:44 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Ludovic Courtès <[email-masked]> skribis:

> What about something like this:
>
> 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 <[email-masked]>
>  # Copyright © 2018 Ricardo Wurmus <[email-masked]>
> @@ -19,6 +19,13 @@
>  # You should have received a copy of the GNU General Public License
>  # along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
>  
> +# 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

Pushed as f5fdc54d3a0845d0590c181d3bd6016f22765431.

Ludo’.

Subject: guix-install.sh: uses /bin/bash shebang
From: Claes Wallin (韋嘉誠) <[email-masked]>
To: [email-masked]
Date: Fri, 1 Feb 2019 16:35:56 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

This means ./guix-install.sh doesn't work on e.g. NixOS. :-)

Please use /usr/bin/env bash.

The manual workaround is obvious, but this is a thousand-papercuts bug.