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>
This commit is contained in:
Holger Peters 2020-12-04 10:51:37 +01:00 committed by Ludovic Courtès
parent 27cf238744
commit b3f21eb6bc
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 1 deletions

View File

@ -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