From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <guix-devel-bounces+larch=yhetil.org@gnu.org>
Received: from mp11.migadu.com ([2001:41d0:2:bcc0::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by ms5.migadu.com with LMTPS
	id GIAROFS5S2MkbQAAbAwnHQ
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Sun, 16 Oct 2022 09:57:08 +0200
Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by mp11.migadu.com with LMTPS
	id OGIjOFS5S2MwhQAA9RJhRA
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Sun, 16 Oct 2022 09:57:08 +0200
Received: from lists.gnu.org (lists.gnu.org [209.51.188.17])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by aspmx1.migadu.com (Postfix) with ESMTPS id 861AA45FBC
	for <larch@yhetil.org>; Sun, 16 Oct 2022 09:57:08 +0200 (CEST)
Received: from localhost ([::1]:43666 helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	id 1ojyWB-0001aJ-MF
	for larch@yhetil.org; Sun, 16 Oct 2022 03:57:07 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:53572)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <philip@philipmcgrath.com>)
 id 1ojyVu-0001a3-MX
 for guix-devel@gnu.org; Sun, 16 Oct 2022 03:56:50 -0400
Received: from out5-smtp.messagingengine.com ([66.111.4.29]:39167)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <philip@philipmcgrath.com>)
 id 1ojyVq-0001TI-Ra; Sun, 16 Oct 2022 03:56:49 -0400
Received: from compute5.internal (compute5.nyi.internal [10.202.2.45])
 by mailout.nyi.internal (Postfix) with ESMTP id 937715C00FE;
 Sun, 16 Oct 2022 03:56:41 -0400 (EDT)
Received: from mailfrontend1 ([10.202.2.162])
 by compute5.internal (MEProxy); Sun, 16 Oct 2022 03:56:41 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 philipmcgrath.com; h=cc:cc:content-type:date:date:from:from
 :in-reply-to:in-reply-to:message-id:mime-version:references
 :reply-to:sender:subject:subject:to:to; s=fm3; t=1665907001; x=
 1665993401; bh=vwXVti7FI89Xdi+EL1qye/vDgNZxsorT1tptldG4upg=; b=l
 WYskizdaIexMX54FoF31k48KHYD3QDc1qA4kc4afY6p1UK2XVt3nvfxdnOJ2xwqC
 AqV7pASrwyFuFXVyVtuxS4uIFZwGLmcjEqsyKQlQO2AUGW82++q2ZzDtRnKhgtgI
 9QcXBwu3H9P5g83VE8pqZTrGsL8EzYaEu+k1S2bYEcdBXMVDlSC6hOhncgqYuvMK
 mob4S5iDaQhYROSt5omNIfKG5KmNz54X/exI9CWfibJR33Xg+WDfXTV7ABtkP82/
 O83jPd4CSR/eSJmYao2swjmB4HbsM6D8bLkt3OFSuXFATr3yUZLYogaix1G7jscy
 zeEtCk/G26q4I2i7Zgmdw==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 messagingengine.com; h=cc:cc:content-type:date:date:feedback-id
 :feedback-id:from:from:in-reply-to:in-reply-to:message-id
 :mime-version:references:reply-to:sender:subject:subject:to:to
 :x-me-proxy:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=
 fm3; t=1665907001; x=1665993401; bh=vwXVti7FI89Xdi+EL1qye/vDgNZx
 sorT1tptldG4upg=; b=IwpB/Hixin1BMUoh3OuAXabI+vlbmZzFJcSTdS1xYGWA
 mBWhp3Xi5mqgwD9qT8fMtqpDE5Ij3YXOx3f55z5oaqLEpxrNMP51zGSXairmGQoX
 rmlyuxj1fjxTIOGcHXyLaj/qivUMzwrAdqEOnnfrSXCdzjB7pxR4WmnZ40xW0eG/
 meR1lH1lQKYr9yK3PXrbMVDEpct0skZKyPZVZynzxZXbWV/eDhlgYWLsQE7aZ/5b
 dXoAqCSwikK2sRVGFv57tt+GZKcxmXGdc45OYYSGVUitxyOpYPa1GRgWKIMiw+K0
 B5fUlkZIwII1KG5juzSt4r6b9qS/HoTZIqPqGj3AiA==
X-ME-Sender: <xms:OblLY11fasOihmsUGXpvTotECZonZ8NPhCemSr4CgALHwwTaW8gnQQ>
 <xme:OblLY8FEqp02Vb-NWodK_-aHKira0BdChsk9juJn7MHcI6jko7wsIOpk76nkeK1CX
 4_MNcGI8GeGlpLf-14>
X-ME-Received: <xmr:OblLY14EkdLqQpg5ShPlAI3EB-zPOiQlZ92eepqQ1XmsBr__Y7xo0hONYy34AO8zWL6VKg5bD1liSv4ZGPqIxOB3cEo-8iPXZosgqg>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvfedrfeekiedgvddvucetufdoteggodetrfdotf
 fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen
 uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne
 cujfgurhephffvvefufffkjghfgggtsehgtderredttdejnecuhfhrohhmpefrhhhilhhi
 phcuofgtifhrrghthhcuoehphhhilhhiphesphhhihhlihhpmhgtghhrrghthhdrtghomh
 eqnecuggftrfgrthhtvghrnhepjeehieffgeeiffdvtdekgfevfffhheetjefhueeftddu
 uefhleetudetheeljeeunecuffhomhgrihhnpegtsggrihhnvghsrdhnvghtpdhgnhhurd
 horhhgnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomhep
 phhhihhlihhpsehphhhilhhiphhmtghgrhgrthhhrdgtohhm
X-ME-Proxy: <xmx:OblLYy28NsEEj_e9aYcGIiR6iFP9uyhtEA9oTuxM3Hn3wn1QFuSC3A>
 <xmx:OblLY4FRHi1mNqyBe8ECOBtJZXJwRvDmk4zWGNL84U8UnGnjW69Hlw>
 <xmx:OblLYz829fSMoKBEPyFdXpfu4GS3sc-EaABa2yduR3B9HDXDjyQjuQ>
 <xmx:OblLY95VUjTk9HfgfI3hljeUQROqhB8V4VqTvyN-at-ddEM_V_z7tQ>
Feedback-ID: i2b1146f3:Fastmail
Received: by mail.messagingengine.com (Postfix) with ESMTPA; Sun,
 16 Oct 2022 03:56:41 -0400 (EDT)
From: Philip McGrath <philip@philipmcgrath.com>
To: Ludovic =?ISO-8859-1?Q?Court=E8s?= <ludo@gnu.org>,
 Liliana Marie Prikler <liliana.prikler@gmail.com>
Cc: guix <guix-devel@gnu.org>, Maxime Devos <maximedevos@telenet.be>
Subject: Re: What 'sh' should 'system' use?
Date: Sun, 16 Oct 2022 03:56:33 -0400
Message-ID: <5928822.lOV4Wx5bFT@bastet>
In-Reply-To: <7d61f502c9907fd9564e4052c8100aabd4d2828c.camel@gmail.com>
References: <2284386.8hzESeGDPO@bastet> <4651725.rnE6jSC6OK@bastet>
 <7d61f502c9907fd9564e4052c8100aabd4d2828c.camel@gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="nextPart4836325.31r3eYUQgx";
 micalg="pgp-sha512"; protocol="application/pgp-signature"
Received-SPF: pass client-ip=66.111.4.29;
 envelope-from=philip@philipmcgrath.com; helo=out5-smtp.messagingengine.com
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-BeenThere: guix-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Development of GNU Guix and the GNU System distribution."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+larch=yhetil.org@gnu.org>
X-Migadu-Flow: FLOW_IN
X-Migadu-Country: US
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org;
	s=key1; t=1665907028;
	h=from:from:sender:sender:reply-to:subject:subject:date:date:
	 message-id:message-id:to:to:cc:cc:mime-version:mime-version:
	 content-type:content-type:in-reply-to:in-reply-to:
	 references:references:list-id:list-help:list-unsubscribe:
	 list-subscribe:list-post:dkim-signature;
	bh=vwXVti7FI89Xdi+EL1qye/vDgNZxsorT1tptldG4upg=;
	b=UUiabfRvG5Ii3LeT3t6HsV7Tu1+RygfQRVK9PrRM+DEuNSDaTttEvY3hPscWTAAhZvcYPK
	rlDBFHvefnLGfp2uG0btdevZaws5DBrRURN1i8BgCDZwHltlGk2SFnpLfJQemt2DWW80+q
	BEVqZFdAqE49KJnwpeWOAgJ03tzsO+Pl2WgrIC+kbC8yUF5pL8P7j7LozxC+aj3ekttWD5
	HbBFRtQkOvqtX523tHI/fzeZKxvLYgsl/Cn2q0KNstlJ0VMIM5dDgKgUboKKG++SspF06u
	7d1KQv9TiDHms2wPT/iE+KhBWNxF8TwIUKQjTcG1208w6iqXi1Z7bvok2QuRMA==
ARC-Seal: i=1; s=key1; d=yhetil.org; t=1665907028; a=rsa-sha256; cv=none;
	b=Wmf+9erKZhLzEiNRvMTM5n20Q70+G6nzjJLAh0PjASknXw49AmnKwASfySEBeWNYaeMPfF
	ddJFZYkXq5JQbASF84tYXFnbDg6hIletGzoaFHeTcjdk9dNrHUyisz3PQ9FsaC1yHS3l28
	ZIPL3u1+ihn81XPaqw3ZhnZH94pYT5DRLwxK0xHdPZeSpQhyBd2RMhzkMgG8PH74C6lVVI
	sQSaov/wpfbIqi9wJVygnrpVRaGEhy5uW3U1+2OZYBGqn4coWd+YVhzZe2lNm1VTu7bG7Y
	cYQ+nZhIZGNuEJsjrmQcR+ojbWZmR0vHG+ccgt519zh+WlAmlouRWbBGa5+hGw==
ARC-Authentication-Results: i=1;
	aspmx1.migadu.com;
	dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm3 header.b="l WYskiz";
	dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm3 header.b="IwpB/Hix";
	dmarc=none;
	spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"
X-Migadu-Spam-Score: 0.90
Authentication-Results: aspmx1.migadu.com;
	dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm3 header.b="l WYskiz";
	dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm3 header.b="IwpB/Hix";
	dmarc=none;
	spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"
X-Migadu-Queue-Id: 861AA45FBC
X-Spam-Score: 0.90
X-Migadu-Scanner: scn0.migadu.com
X-TUID: +eLqQwK6uV+O

--nextPart4836325.31r3eYUQgx
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="UTF-8"; protected-headers="v1"
From: Philip McGrath <philip@philipmcgrath.com>
Cc: guix <guix-devel@gnu.org>, Maxime Devos <maximedevos@telenet.be>
Subject: Re: What 'sh' should 'system' use?
Date: Sun, 16 Oct 2022 03:56:33 -0400
Message-ID: <5928822.lOV4Wx5bFT@bastet>

On Sunday, October 16, 2022 3:04:45 AM EDT Liliana Marie Prikler wrote:
> Am Samstag, dem 15.10.2022 um 19:23 -0400 schrieb Philip McGrath:
> > On Saturday, October 1, 2022 12:54:27 PM EDT Ludovic Court=C3=A8s wrote:
> > > Hello!
> > >=20
> > > Philip McGrath <philip@philipmcgrath.com> skribis:
> > > > 1) If we want to continue to hard-code a specific shell into
> > > > Glibc, I
> > > > think we should document the decision (for example, why 'bash-
> > > > static' vs.
> > > > 'bash- minimal'?) [=E2=80=A6]
> > >=20
> > > The choice of =E2=80=98bash-static=E2=80=99 rather than =E2=80=98bash=
=2Dminimal=E2=80=99 is motivated
> > > by
> > > the fact that, in (gnu packages commencement), we want to make sure
> > > =E2=80=98glibc-final=E2=80=99 does not retain references to its build=
=2Dtime
> > > environment.
> > > See #:allowed-references in =E2=80=98glibc-final=E2=80=99.
> >=20
> > This makes sense as far as using 'bash-static' in Glibc. The aspects
> > I'm unsure of are:
> >=20
> >  1. If I'm packaging software that implements a function like
> >=20
> >     'system' (e.g. Racket, SML/NJ, Chez Scheme, etc.), should I use
> >     'bash-minimal' or 'bash-static'?
> >=20
> >  2. Do we really need 'bash-minimal' at all? Why not just replace it
> >=20
> >     with 'bash-static'?
>=20
> We already explained those two to you. Racket, SML/NJ, Chez Scheme et
> al. are not bootstrap-relevant, thus they can use bash-minimal.  Unlike
> bash-static, bash-minimal can be grafted, i.e. a security bug in bash(-
> minimal) that necessitates a version bump or similar does not cause a
> world rebuild.  A security bug in bash-static does.
>=20

I don't think I understand this. Does it mean that, in the following, I am=
=20
running a Bash that wouldn't have security bugs fixed? If so, that seems qu=
ite=20
bad!

=2D-8<---------------cut here---------------start------------->8---
philip@bastet:/tmp$ cat run-bshell.scm=20
(use-modules
 (guix build-system gnu)
 (guix gexp)
 ((guix licenses) #:prefix license:)
 (guix packages))
(define src
  (plain-file "run-bshell.c"
              "
#include <stdlib.h>
#include <unistd.h>
#include <paths.h>
int main(void)
{
  execl(_PATH_BSHELL,
        _PATH_BSHELL,
        \"-c\",
        \"echo \" _PATH_BSHELL,
        (char *)NULL);
}
"))
(package
  (name "run-bshell")
  (version "0")
  (source src)
  (build-system gnu-build-system)
  (arguments
   (list
    #:phases
    #~(modify-phases %standard-phases
        (delete 'configure)
        (replace 'build
          (lambda args
            (invoke "gcc" "-o" "run-bshell" #$src)))
        (delete 'check)
        (replace 'install
          (lambda args
            (install-file "run-bshell" (string-append #$output "/bin")))))))
  (home-page #f)
  (synopsis #f)
  (description #f)
  (license license:cc0))
philip@bastet:/tmp$ guix shell --rebuild-cache --container --no-cwd -f run-
bshell.scm -- run-bshell
substitute: updating substitutes from 'https://bordeaux-us-east-mirror.cbai=
nes.nsubstitute: updating substitutes from 'https://bordeaux-us-east-mirror=
=2Ecbaines.net'... 100.0%
substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'...=20
100.0%
substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0%
The following derivations will be built:
  /gnu/store/q5bib9dgaxzag29a2l4b833mm5l12dx3-profile.drv
  /gnu/store/r45khn1mq17fc0xsab1yszii85ynsm2j-run-bshell-0.drv

building /gnu/store/r45khn1mq17fc0xsab1yszii85ynsm2j-run-bshell-0.drv...
building CA certificate bundle...
listing Emacs sub-directories...
building fonts directory...
building directory of Info manuals...
building profile with 1 package...
/gnu/store/720rj90bch716isd8z7lcwrnvz28ap4y-bash-static-5.1.8/bin/sh
philip@bastet:/tmp$=20
=2D-8<---------------cut here---------------end--------------->8---
--nextPart4836325.31r3eYUQgx
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: This is a digitally signed message part.
Content-Transfer-Encoding: 7Bit

-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEE9GWrrNY3rqwUFVXPygNjjfo/HHoFAmNLuTEACgkQygNjjfo/
HHrq5A/+K/YSxsMQ4gjKiKnZH5aXEfXn9ANcB4m9L2I1dVPl3FjX+sL8ye6LL9SB
RnZg/bI+wLHysUWpLY7PUpnZvC5kLjY43GdWjmXH8P3q6pBKdv0A7QnWgtHFCW19
rR6y1iAExKgLThF6OeobNojlNHTFvOA8ILcjQo1VLiWFqUxZOExm/Sdy+jZlxT95
KWwjR46zMJeyMRw0VltsOSyOTM68cctmgOd73ERB+9szoUZlwpXYWesc6Y+1NC1t
PgR2iVivKO9mHkIApsaUm5wlkR5awRHqwqLBCHa0xvdQM8X7Upqze3fTRRX+r5UJ
hRl8hltRRZ3Z6ykcJSbFhCHY09NSuMA8LKPQ76BJKn2J7VEzhX59PA8fVnOvloqe
0Mg3/aEjJYhDtGAlC+yjMonRpmwAluJhfshJbh1uiwHnGJa6TISOJPoZ2bcDlhzV
wjKPeu4UaRCy7z7gpFkgdkwFzyySOeziHtfrVOAsvoj6pSEtu+nU9FYQ0UWhcv8Z
IQtLxCmmDzWEQfOKVfswQPFxtyesJ0s7GWgn/mQunHErk7PlDlp1VrTelUI/9S/7
BUyElFCFWEWDoRURpxbT4ptccOdsKXx4CjBwO28z6owVMpJnFziS7z+4znp/qhEJ
9kaQVCK2eNBYgQqs+rQqipjiJORZ3ybFVT7G8HfrVybh6qyztb8=
=/azD
-----END PGP SIGNATURE-----

--nextPart4836325.31r3eYUQgx--