[debbugs-tracker] bug#28223: closed (Guix documentation uses wrong install command)

[GNU bug Tracking System]

Your message dated Mon, 20 Nov 2017 18:44:02 +0100
with message-id <address@hidden>
and subject line Re: bug#28223: Guix documentation uses wrong install command
has caused the debbugs.gnu.org bug report #28223,
regarding Guix documentation uses wrong install command
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
28223: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28223
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Guix documentation uses wrong install command Date: Thu, 24 Aug 2017 11:45:36 +0000

Package: guix

Version: 0.13.0

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

The command could also be simplified by removing the definition of GUIX_PROFILE, and passing $HOME/.guix-profile/etc/profile to source.

System: Linux 3.16.0-4-amd64 #1 SMP Debian 3.16.43-2+deb8u2 (2017-06-26) x86_64 GNU/Linux

Libc: 2.19-18+deb8u10

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#28223: Guix documentation uses wrong install command
>
>
>
>
> Date: 
>
> Mon, 20 Nov 2017 18:44:02 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
>
>
>
>
> 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’.
>
>
> --- End Message ---