From f350df405fbcd5b9e27e6b6aa500da7f101f41e7 Mon Sep 17 00:00:00 2001 From: Holger Peters Date: Fri, 4 Dec 2020 10:51:37 +0100 Subject: doc: Fix incorrect GUIX_PROFILE value for 'guix pull'. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * doc/guix.texi (Getting Started): Fix invalid GUIX_PROFILE value. Signed-off-by: Ludovic Courtès --- doc/guix.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/guix.texi b/doc/guix.texi index b7f1bc1f00..087fd1ebde 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 -- cgit 1.4.1