bug#70798: closed ([PATCH] guix-install.sh: add ~/.guix-profile/share/info to INFOPATH)

[GNU bug Tracking System]

Your message dated Sun, 02 Jun 2024 11:40:33 +0200
with message-id <87ikyrn0mm.fsf@gnu.org>
and subject line Re: [bug#70798] [PATCH] guix-install.sh: add 
~/.guix-profile/share/info to INFOPATH
has caused the debbugs.gnu.org bug report #70798,
regarding [PATCH] guix-install.sh: add ~/.guix-profile/share/info to INFOPATH
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
70798: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70798
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#70798] [PATCH] guix-install.sh: add ~/.guix-profile/share/info to INFOPATH
>
>
>
>
> Date: 
>
> Sun, 02 Jun 2024 11:40:33 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> Hi,
>
> Trevor Arjeski <tmarjeski@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’.
>
>
> --- End Message ---