guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#35004] Docs refer to $HOME/.guix-profile instead of $GUIX_PROFILE


From: Joshua Randall
Subject: [bug#35004] 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 




reply via email to

[Prev in Thread] Current Thread [Next in Thread]