bug#35004: closed (Docs refer to $HOME/.guix-profile instead of $GUIX_PROFILE)

[GNU bug Tracking System]

Your message dated Tue, 19 Jan 2021 11:57:50 +0100
with message-id <87h7ndxkgh.fsf@gnu.org>
and subject line Re: [bug#35004] [PATCH] doc: Fix typo.
has caused the debbugs.gnu.org bug report #35004,
regarding Docs refer to $HOME/.guix-profile instead of $GUIX_PROFILE
to be marked as done.

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


-- 
35004: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35004
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: Docs refer to $HOME/.guix-profile instead of $GUIX_PROFILE Date: Tue, 26 Mar 2019 15:28:29 +0000

Section 3.2 of the manual gives an example of how a user can source their guix profile script. In the example, the GUIX_PROFILE environment variable it set, but then in the subsequent command, it is unused. 

This seems unnecessarily repetitive, and also potentially misleading if it is in fact important that when the etc/profile is sourced, GUIX_PROFILE is set to the directory under which it exists. 

I would suggest that the second line would refer to $GUIX_PROFILE instead of $HOME/.guix-profile 

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#35004] [PATCH] doc: Fix typo.
>
>
>
>
> Date: 
>
> Tue, 19 Jan 2021 11:57:50 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
>
>
>
>
> > * doc/guix.texi (Invoking guix package): Fix typo.
>
> Pushed, thanks!
>
> Mathieu
>
>
> --- End Message ---