[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#45600] [PATCH] /etc/profile.d/guix.sh: Add guix pull profile even w
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#45600] [PATCH] /etc/profile.d/guix.sh: Add guix pull profile even when absent |
|
Date: |
Sun, 03 Jan 2021 15:53:46 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Hi,
Jakub Kądziołka <kuba@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’.