guix-install.sh: Add ~/.guix-profile/share/info to INFOPATH.
Adding ~/.guix-profile/share/info to the INFOPATH env var so that when a user does `guix install [package]` that package's info pages can be found. * etc/guix-install.sh (sys_create_init_profile): Add $GUIX_PROFILE/share/info to INFOPATH in ‘/etc/profile.d/zzz-guix.sh’. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Change-Id: I8958261c388ddee5659f0f1ce1c0c9813dc0f052master
parent
f21aec551f
commit
1262e8b122
|
@ -626,11 +626,6 @@ export XDG_CACHE_HOME="${XDG_CACHE_HOME:-$HOME/.cache}"
|
||||||
# _GUIX_PROFILE: `guix pull` profile
|
# _GUIX_PROFILE: `guix pull` profile
|
||||||
_GUIX_PROFILE="$HOME/.config/guix/current"
|
_GUIX_PROFILE="$HOME/.config/guix/current"
|
||||||
export PATH="$_GUIX_PROFILE/bin${PATH:+:}$PATH"
|
export PATH="$_GUIX_PROFILE/bin${PATH:+:}$PATH"
|
||||||
# Export INFOPATH so that the updated info pages can be found
|
|
||||||
# and read by both /usr/bin/info and/or $GUIX_PROFILE/bin/info
|
|
||||||
# When INFOPATH is unset, add a trailing colon so that Emacs
|
|
||||||
# searches 'Info-default-directory-list'.
|
|
||||||
export INFOPATH="$_GUIX_PROFILE/share/info:$INFOPATH"
|
|
||||||
|
|
||||||
# GUIX_PROFILE: User's default profile and home profile
|
# GUIX_PROFILE: User's default profile and home profile
|
||||||
GUIX_PROFILE="$HOME/.guix-profile"
|
GUIX_PROFILE="$HOME/.guix-profile"
|
||||||
|
@ -638,6 +633,12 @@ GUIX_PROFILE="$HOME/.guix-profile"
|
||||||
[ -L "$GUIX_PROFILE" ] && \
|
[ -L "$GUIX_PROFILE" ] && \
|
||||||
GUIX_LOCPATH="$GUIX_PROFILE/lib/locale${GUIX_LOCPATH:+:}$GUIX_LOCPATH"
|
GUIX_LOCPATH="$GUIX_PROFILE/lib/locale${GUIX_LOCPATH:+:}$GUIX_LOCPATH"
|
||||||
|
|
||||||
|
# Export INFOPATH so that the updated info pages can be found
|
||||||
|
# and read by both /usr/bin/info and/or $GUIX_PROFILE/bin/info
|
||||||
|
# When INFOPATH is unset, add a trailing colon so that Emacs
|
||||||
|
# searches 'Info-default-directory-list'.
|
||||||
|
export INFOPATH="$_GUIX_PROFILE/share/info:$GUIX_PROFILE/share/info:$INFOPATH"
|
||||||
|
|
||||||
GUIX_PROFILE="$HOME/.guix-home/profile"
|
GUIX_PROFILE="$HOME/.guix-home/profile"
|
||||||
[ -f "$GUIX_PROFILE/etc/profile" ] && . "$GUIX_PROFILE/etc/profile"
|
[ -f "$GUIX_PROFILE/etc/profile" ] && . "$GUIX_PROFILE/etc/profile"
|
||||||
[ -L "$GUIX_PROFILE" ] && \
|
[ -L "$GUIX_PROFILE" ] && \
|
||||||
|
|
Reference in New Issue