From 02033bfc05a1e82b12e80c6d000e1724e910e899 Mon Sep 17 00:00:00 2001 From: Andrew Tropin Date: Fri, 13 Jan 2023 14:09:02 +0400 Subject: guix-install.sh: Source both profiles, default user's and home. * etc/guix-install.sh (sys_create_init_profile): Source both profiles, default user's and home. --- etc/guix-install.sh | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) (limited to 'etc') diff --git a/etc/guix-install.sh b/etc/guix-install.sh index ea10f35250..bbb4219965 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -11,6 +11,7 @@ # Copyright © 2021 Chris Marusich # Copyright © 2021, 2022 Maxim Cournoyer # Copyright © 2022 Prafulla Giri +# Copyright © 2023 Andrew Tropin # # This file is part of GNU Guix. # @@ -549,15 +550,19 @@ export PATH="$_GUIX_PROFILE/bin${PATH:+:}$PATH" # searches 'Info-default-directory-list'. export INFOPATH="$_GUIX_PROFILE/share/info:$INFOPATH" -# GUIX_PROFILE: User's default profile -# Prefer the one from 'guix home' if it exists. +# GUIX_PROFILE: User's default profile and home profile +GUIX_PROFILE="$HOME/.guix-profile" +[ -f "$GUIX_PROFILE/etc/profile" ] && . "$GUIX_PROFILE/etc/profile" +[ -L "$GUIX_PROFILE" ] || \ +GUIX_LOCPATH="$GUIX_PROFILE/lib/locale:${GUIX_LOCPATH:+:}$GUIX_LOCPATH" + GUIX_PROFILE="$HOME/.guix-home/profile" -[ -L $GUIX_PROFILE ] || GUIX_PROFILE="$HOME/.guix-profile" -[ -L $GUIX_PROFILE ] || return -GUIX_LOCPATH="$GUIX_PROFILE/lib/locale" +[ -f "$GUIX_PROFILE/etc/profile" ] && . "$GUIX_PROFILE/etc/profile" +[ -L "$GUIX_PROFILE" ] || \ +GUIX_LOCPATH="$GUIX_PROFILE/lib/locale:${GUIX_LOCPATH:+:}$GUIX_LOCPATH" + export GUIX_LOCPATH -[ -f "$GUIX_PROFILE/etc/profile" ] && . "$GUIX_PROFILE/etc/profile" EOF } -- cgit 1.4.1