summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHolger Peters <holger.peters@posteo.de>2020-12-04 10:51:37 +0100
committerLudovic Courtès <ludo@gnu.org>2020-12-07 12:48:25 +0100
commitb3f21eb6bc895a4eafe903dfbb480de481bbb4c7 (patch)
treea961263c768a1438add16e52bea9383d4c36c6ee
parent27cf23874402f7132df8bb84a5501ae88abb240a (diff)
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>
-rw-r--r--doc/guix.texi2
1 files changed, 1 insertions, 1 deletions
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