diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-11-20 18:41:47 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-20 18:43:10 +0100 |
| commit | bd7e136d295f0d6c1aa5d107356e28c259a54cb9 (patch) | |
| tree | 38aeb48fb5991c2e90f9d7c35fa835acd527c5d2 /doc/guix.texi | |
| parent | 4b1ba80cef69b951a72e1dfd04bb3ddc5f4e571c (diff) | |
Add semicolon in commands that set GUIX_PROFILE.
Fixes <https://bugs.gnu.org/28223>.
Reported by Rosebud Uplink <Uplink.Introversion@outlook.com>.
* doc/guix.texi (Binary Installation): Add missing semicolon after
'GUIX_PROFILE=' line.
(Invoking guix package): Likewise.
* gnu/system.scm (operating-system-etc-service)[profile]: Likewise.
* guix/build/profiles.scm (build-etc/profile): Likewise.
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index d4a2a696a4..4f8453ebf0 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -456,7 +456,7 @@ Source @file{etc/profile} to augment @code{PATH} and other relevant environment variables: @example -# GUIX_PROFILE=$HOME/.guix-profile \ +# GUIX_PROFILE=$HOME/.guix-profile ; \ source $GUIX_PROFILE/etc/profile @end example @@ -1684,7 +1684,7 @@ Files,,, bash, The GNU Bash Reference Manual}) so that newly-spawned shells get all the right environment variable definitions: @example -GUIX_PROFILE="$HOME/.guix-profile" \ +GUIX_PROFILE="$HOME/.guix-profile" ; \ source "$HOME/.guix-profile/etc/profile" @end example |