bash: Remove activation of guix-extra-profiles.
This commit is contained in:
parent
4d9b8c7096
commit
c8079dcee7
|
@ -1,25 +1,3 @@
|
|||
# Activate Guix extra profiles.
|
||||
for i in ~/.guix-extra-profiles/*; do
|
||||
profile=$i/$(basename "$i")
|
||||
if [ -f "$profile"/etc/profile ]; then
|
||||
GUIX_PROFILE="$profile"
|
||||
source "$profile"/etc/profile
|
||||
fi
|
||||
if [ -d "$profile"/etc/xdg ]; then
|
||||
export XDG_CONFIG_DIRS="$profile"/etc/xdg:$XDG_CONFIG_DIRS
|
||||
fi
|
||||
if [ -d "$profile"/share ]; then
|
||||
export XDG_DATA_DIRS="$profile"/share:$XDG_DATA_DIRS
|
||||
fi
|
||||
if [ -d "$profile"/share/man ]; then
|
||||
export MANPATH="$profile"/share/man:$MANPATH
|
||||
fi
|
||||
if [ -d "$profile"/share/info ]; then
|
||||
export INFOPATH="$profile"/share/info:$INFOPATH
|
||||
fi
|
||||
unset profile
|
||||
done
|
||||
|
||||
# Activate Nix profile.
|
||||
if [ -f /run/current-system/profile/etc/profile.d/nix.sh ]; then
|
||||
source /run/current-system/profile/etc/profile.d/nix.sh
|
||||
|
|
Loading…
Reference in New Issue