|
From: | GNU bug Tracking System |
Subject: | bug#35004: closed (Docs refer to $HOME/.guix-profile instead of $GUIX_PROFILE) |
Date: | Tue, 19 Jan 2021 10:58:02 +0000 |
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 ---
[Prev in Thread] | Current Thread | [Next in Thread] |