diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-03-21 23:22:19 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-03-22 00:02:23 +0100 |
commit | 3c69701f9735dd62a2f765b8bd23a7eaeb391412 (patch) | |
tree | 7e5da47be88c0ea5da0a0fc095ad9e1b2de5ed3c /etc | |
parent | 4a6ec23a9780bd75a7e527bd0dfb1943347869bb (diff) |
guix-install.sh: Add a trailing colon to 'INFOPATH'.
Fixes <https://bugs.gnu.org/39984>.
Suggested by Adam Porter <adam@alphapapa.net>.
* etc/guix-install.sh (sys_create_init_profile): Add a trailing colon to
'INFOPATH'.
Diffstat (limited to 'etc')
-rwxr-xr-x | etc/guix-install.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index e7f4d2cd59..d7fde7aacd 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -414,7 +414,9 @@ if [ -L $_GUIX_PROFILE ]; then 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 - export INFOPATH="$_GUIX_PROFILE/share/info${INFOPATH:+:}$INFOPATH" + # When INFOPATH is unset, add a trailing colon so that Emacs + # searches 'Info-default-directory-list'. + export INFOPATH="$_GUIX_PROFILE/share/info:$INFOPATH" fi # GUIX_PROFILE: User's default profile |