GNU bug report logs - #56030
The guix pull profile is too big

Previous Next

Package: guix;

Reported by: Julien Lepiller <julien <at> lepiller.eu>

Date: Fri, 17 Jun 2022 05:50:03 UTC

Severity: normal

Full log


View this message in rfc822 format

From: "(" <paren <at> disroot.org>
To: "Maxime Devos" <maximedevos <at> telenet.be>, "Julien Lepiller" <julien <at> lepiller.eu>, <56030 <at> debbugs.gnu.org>
Subject: bug#56030: The guix pull profile is too big
Date: Thu, 21 Jul 2022 16:49:36 +0100
On Thu Jul 21, 2022 at 4:46 PM BST, Maxime Devos wrote:
> Using SHELL_PATH instead of the __guix_bin_sh sounds better, yes.  But 
> it's not 'just use -DSHELL_PATH=', we still need to change 'system' 
> appropriately.
Why would we need to change it? The glibc definition already uses that
macro for the shell path, it's just hard-coded to /bin/sh by default.




This bug report was last modified 2 years and 292 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.