GNU bug report logs - #45600
[PATCH] /etc/profile.d/guix.sh: Add guix pull profile even when absent

Previous Next

Full log

Message #8 received at 45600 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Jakub Kądziołka <kuba <at> kadziolka.net>
Cc: 45600 <at> debbugs.gnu.org
Subject: Re: [bug#45600] [PATCH] /etc/profile.d/guix.sh: Add guix pull
 profile even when absent
Date: Sun, 03 Jan 2021 15:53:46 +0100

Hi,

Jakub Kądziołka <kuba <at> kadziolka.net> skribis:

> After initial installation on a foreign distro, the guix pull profile
> won't be present in path. This means that the first guix pull won't take
> effect until the shell is restarted.
>
> ~/.guix-profile cannot be pre-loaded like this as the relevant paths are
> stored in ~/.guix-profile/etc/profile, which simply won't exist.
> However, guix package will output a relevant hint that instructs the
> user to reload the profile, so this isn't a problem.

LGTM!

Please add something like this to the commit log:

* etc/guix-install.sh (sys_create_init_profile): Set PATH and INFOPATH
even when $_GUIX_PROFILE does not exist.

Thank you,
Ludo’.

Previous Next

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