GNU bug report logs - #70798
[PATCH] guix-install.sh: add ~/.guix-profile/share/info to INFOPATH

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 70798 in the body.
You can then email your comments to 70798 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Trevor Arjeski <tmarjeski <at> gmail.com>
To: guix-patches <at> gnu.org
Cc: Trevor Arjeski <tmarjeski <at> gmail.com>
Subject: [PATCH] guix-install.sh: add ~/.guix-profile/share/info to INFOPATH
Date: Mon,  6 May 2024 09:00:59 +0300

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 | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/etc/guix-install.sh b/etc/guix-install.sh
index 82accfd5d55..4e268a52d60 100755
--- a/etc/guix-install.sh
+++ b/etc/guix-install.sh
@@ -626,11 +626,6 @@ export XDG_CACHE_HOME="${XDG_CACHE_HOME:-$HOME/.cache}"
 # _GUIX_PROFILE: `guix pull` profile
 _GUIX_PROFILE="$HOME/.config/guix/current"
 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="$HOME/.guix-profile"
@@ -638,6 +633,12 @@ GUIX_PROFILE="$HOME/.guix-profile"
 [ -L "$GUIX_PROFILE" ] && \
 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"
 [ -f "$GUIX_PROFILE/etc/profile" ] && . "$GUIX_PROFILE/etc/profile"
 [ -L "$GUIX_PROFILE" ] && \
-- 
2.43.2

Message #10 received at 70798-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Trevor Arjeski <tmarjeski <at> gmail.com>
Cc: 70798-done <at> debbugs.gnu.org
Subject: Re: [bug#70798] [PATCH] guix-install.sh: add
 ~/.guix-profile/share/info to INFOPATH
Date: Sun, 02 Jun 2024 11:40:33 +0200

Hi,

Trevor Arjeski <tmarjeski <at> gmail.com> skribis:

> 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.

I tweaked the commit log and applied it, thanks!

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.