diff options
| author | Prafulla Giri <pratheblackdiamond@gmail.com> | 2020-01-21 12:25:24 +0545 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-01-26 23:21:39 +0100 |
| commit | 5c03516a6bc6bff69b99ec8d29a87603685f7041 (patch) | |
| tree | a03ca7f641fb81f28a51012e2dae46dccb8dbe4e | |
| parent | 98dd9ff8006bde715cd25dbd75caceee28b2aa5d (diff) | |
| download | patches-5c03516a6bc6bff69b99ec8d29a87603685f7041.tar patches-5c03516a6bc6bff69b99ec8d29a87603685f7041.tar.gz | |
guix-install.sh: Export INFOPATH to contain updated guix info-pages
* etc/guix-install.sh (sys_create_init_profile): Export INFOPATH to include
the updated info-pages from ~/.config/guix/current/share/info. This also makes
sure that both /usr/bin/info and $GUIX_PROFILE/bin/info can read guix info pages
without throwing "no menu item 'guix' in node dir(Top)" error.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rwxr-xr-x | etc/guix-install.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index b57d71981f..ff97c78549 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -398,7 +398,12 @@ sys_create_init_profile() cat <<"EOF" > /etc/profile.d/guix.sh # _GUIX_PROFILE: `guix pull` profile _GUIX_PROFILE="$HOME/.config/guix/current" -[ -L $_GUIX_PROFILE ] && export PATH="$_GUIX_PROFILE/bin${PATH:+:}$PATH" +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" +fi # GUIX_PROFILE: User's default profile GUIX_PROFILE="$HOME/.guix-profile" |