profile: Export MANPATH, INFOPATH, etc. for extra Guix profiles.
parent
208bf0b18b
commit
9f2ff6fa25
18
.profile
18
.profile
|
@ -26,13 +26,17 @@ appendpath "$HOME/.cask/bin"
|
|||
# if command -v guix >/dev/null 2>&1; then
|
||||
# export GUIX_PACKAGE_PATH="$HOME/.guix-packages"
|
||||
# fi
|
||||
for i in ~/.guix-extra-profiles/*; do
|
||||
profile=$i/$(basename "$i")
|
||||
if [ -f "$profile"/etc/profile ]; then
|
||||
GUIX_PROFILE="$profile" ; . "$profile"/etc/profile
|
||||
fi
|
||||
unset profile
|
||||
done
|
||||
for i in ~/.guix-extra-profiles/*; do
|
||||
profile=$i/$(basename "$i")
|
||||
if [ -f "$profile"/etc/profile ]; then
|
||||
GUIX_PROFILE="$profile" ; . "$profile"/etc/profile
|
||||
export MANPATH="$profile"/share/man:$MANPATH
|
||||
export INFOPATH="$profile"/share/info:$INFOPATH
|
||||
export XDG_DATA_DIRS="$profile"/share:$XDG_DATA_DIRS
|
||||
export XDG_CONFIG_DIRS="$profile"/etc/xdg:$XDG_CONFIG_DIRS
|
||||
fi
|
||||
unset profile
|
||||
done
|
||||
|
||||
## Use this to override system executables.
|
||||
prependpath "${HOME}/personal/hackpool"
|
||||
|
|
Loading…
Reference in New Issue