branch version-1.2.0 updated: doc: Fix incorrect GUIX_PROFILE value for 'guix pull'.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

civodul pushed a commit to branch version-1.2.0
in repository guix.

The following commit(s) were added to refs/heads/version-1.2.0 by this push:
     new f350df4  doc: Fix incorrect GUIX_PROFILE value for 'guix pull'.
f350df4 is described below

commit f350df405fbcd5b9e27e6b6aa500da7f101f41e7
Author: Holger Peters <holger.peters@posteo.de>
AuthorDate: Fri Dec 4 10:51:37 2020 +0100

    doc: Fix incorrect GUIX_PROFILE value for 'guix pull'.
    
    * doc/guix.texi (Getting Started): Fix invalid GUIX_PROFILE value.
    
    Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index b7f1bc1..087fd1e 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2751,7 +2751,7 @@ the command prints and, similar to what we saw above, 
paste these two
 lines in your terminal and @file{.bash_profile}:
 
 @example
-GUIX_PROFILE="$HOME/.config/guix/current/etc/profile"
+GUIX_PROFILE="$HOME/.config/guix/current"
 . "$GUIX_PROFILE/etc/profile"
 @end example