bug#28223: Guix documentation uses wrong install command

[Ludovic Courtès]

Hello,

Rosebud Uplink <address@hidden> skribis:

> In the Guix documentation, category 2.1 (Binary Installation), step 3, the 
> command used to augment the PATH doesn't give the wanted result.
>
>
> 3. Make root’s profile available under ~/.guix-profile:
> [...]
>
> # GUIX_PROFILE=$HOME/.guix-profile \
>   source $GUIX_PROFILE/etc/profile
>
>
> $GUIX_PROFILE is expanded first, and the "source" command will always be 
> expanded as:
>
> source /etc/profile
>
>
> Putting a semicolon between the variable definition and the "source" command 
> resolves this problem and has the required effect.
>
>
> # GUIX_PROFILE=$HOME/.guix-profile ; source $GUIX_PROFILE/etc/profile

This is finally fixed:

  
https://git.savannah.gnu.org/cgit/guix.git/commit/?id=bd7e136d295f0d6c1aa5d107356e28c259a54cb9

Thank you!

Ludo’.