GNU bug report logs - #28223
Guix documentation uses wrong install command

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 28223 in the body.
You can then email your comments to 28223 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Rosebud Uplink <Uplink.Introversion <at> outlook.com>
To: "bug-guix <at> gnu.org" <bug-guix <at> gnu.org>
Subject: Guix documentation uses wrong install command
Date: Thu, 24 Aug 2017 11:45:36 +0000

[Message part 1 (text/plain, inline)]

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

[Message part 2 (text/html, inline)]

Message #10 received at 28223-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Rosebud Uplink <Uplink.Introversion <at> outlook.com>
Cc: 28223-done <at> debbugs.gnu.org
Subject: Re: bug#28223: Guix documentation uses wrong install command
Date: Mon, 20 Nov 2017 18:44:02 +0100

Hello,

Rosebud Uplink <Uplink.Introversion <at> outlook.com> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.