From b3f21eb6bc895a4eafe903dfbb480de481bbb4c7 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 a21c4d614e..1f33fd3b76 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -2786,7 +2786,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