GNU bug report logs - #35004
Docs refer to $HOME/.guix-profile instead of $GUIX_PROFILE

Previous Next

Package: guix-patches;

Reported by: Joshua Randall <jcrandall <at> alum.mit.edu>

Date: Tue, 26 Mar 2019 15:30:02 UTC

Severity: normal

Tags: patch

Done: Mathieu Othacehe <othacehe <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Joshua Randall <jcrandall <at> alum.mit.edu>
To: guix-patches <at> gnu.org
Subject: Docs refer to $HOME/.guix-profile instead of $GUIX_PROFILE
Date: Tue, 26 Mar 2019 15:28:29 +0000

[Message part 1 (text/plain, inline)]
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

[Message part 2 (text/html, inline)]
This bug report was last modified 4 years and 120 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.