diff options
| author | Holger Peters <holger.peters@posteo.de> | 2020-12-04 10:51:37 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-12-07 15:08:51 +0100 |
| commit | f350df405fbcd5b9e27e6b6aa500da7f101f41e7 (patch) | |
| tree | 61f5f53cc60a02e500e525671e0692654accf7f0 | |
| parent | 91bcb1d043b06d27ee891849fb6e19b0cfe98cb7 (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.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |