From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Subject: bug#34279: guix-install.sh: uses /bin/bash shebang Date: Tue, 05 Feb 2019 12:04:44 +0100 Message-ID: <87ftt2jy2b.fsf@gnu.org> References: <87lg2vp7o4.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:44436) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gqyXH-0004Dl-Vy for bug-guix@gnu.org; Tue, 05 Feb 2019 06:05:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gqyXH-0001s3-38 for bug-guix@gnu.org; Tue, 05 Feb 2019 06:05:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:60956) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gqyXG-0001r8-Mp for bug-guix@gnu.org; Tue, 05 Feb 2019 06:05:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gqyXG-0006Lm-EN for bug-guix@gnu.org; Tue, 05 Feb 2019 06:05:02 -0500 Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Message-ID: In-Reply-To: <87lg2vp7o4.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Mon, 04 Feb 2019 22:26:03 +0100") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: "Claes Wallin (=?UTF-8?Q?=E9=9F=8B=E5=98=89=E8=AA=A0?=)" Cc: 34279-done@debbugs.gnu.org Ludovic Court=C3=A8s 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 =C2=A9 2017 sharlatan > # Copyright =C2=A9 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 . >=20=20 > +# 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" =3D "x" ] > +then > + exec bash "$0" "$@" > +fi Pushed as f5fdc54d3a0845d0590c181d3bd6016f22765431. Ludo=E2=80=99.