mirror of
https://codeberg.org/guix/guix.git
synced 2026-01-25 12:05:19 -06:00
f9789e9bc6
Make both profiles use GUIX_PROFILE and reorder some code so each profile is handled in one contiguous block. The user’s profile now takes precedence over the ‘guix pull’ profile on INFOPATH. If the user already has an info reader in their Guix profile, don’t add a duplicate entry to INFOPATH. If the user doesn’t have an imperative ~/.guix-profile (i.e. they manage software with Guix Home and ‘guix shell’), don’t add an unnecessary entry to INFOPATH. Clean up after ourselves by unsetting the temporary GUIX_PROFILE variable, which only needs to be set when sourcing. * etc/guix-install.sh (sys_create_init_profile): Improve Guix profile sourcing. Change-Id: Ibceb354012d23d24deeb39b1ec02790873396a6b Signed-off-by: Ludovic Courtès <ludo@gnu.org> |
||
|---|---|---|
| .. | ||
| completion | ||
| git | ||
| init.d | ||
| manifests | ||
| openrc | ||
| snippets | ||
| substitutes | ||
| teams | ||
| committer.scm.in | ||
| copyright.el | ||
| gnu-store.mount.in | ||
| guix-daemon.cil.in | ||
| guix-daemon.conf.in | ||
| guix-daemon.service.in | ||
| guix-gc.service.in | ||
| guix-gc.timer | ||
| guix-install.sh | ||
| guix-publish.conf.in | ||
| guix-publish.service.in | ||
| historical-authorizations | ||
| news.scm | ||
| teams.scm | ||