Subject: bug#35004: closed (Re: [bug#35004] [PATCH] doc: Fix typo.)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 19 Jan 2021 10:58:02 +0000

Your bug report

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

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
35004: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35004
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#35004] [PATCH] doc: Fix typo.
From: Mathieu Othacehe <[email-masked]>
To: zimoun <[email-masked]>
Cc: [email-masked], "Joshua C. Randall" <[email-masked]>
Date: Tue, 19 Jan 2021 11:57:50 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

> * doc/guix.texi (Invoking guix package): Fix typo.

Pushed, thanks!

Mathieu

Subject: Docs refer to $HOME/.guix-profile instead of $GUIX_PROFILE
From: Joshua Randall <[email-masked]>
To: [email-masked]
Date: Tue, 26 Mar 2019 15:28:29 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

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