diff --git a/doc/guix.texi b/doc/guix.texi index b7f1bc1f002..087fd1ebdea 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