GNU bug report logs - #45039
Duplicate folders in docs

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 45039 in the body.
You can then email your comments to 45039 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: Holger Peters <holger.peters <at> posteo.de>
To: Guix patches <guix-patches <at> gnu.org>
Subject: Duplicate folders in docs
Date: Fri, 04 Dec 2020 10:44:36 +0100

On https://guix.gnu.org/manual/en/html_node/Getting-Started.html there
is a duplication of use of etc/profile


-- 
Holger Peters <holger.peters <at> posteo.de>

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

From: Holger Peters <holger.peters <at> posteo.de>
To: 45039 <at> debbugs.gnu.org
Subject: [PATCH] Remove duplicate path declaration
Date: Fri, 04 Dec 2020 10:51:37 +0100

* doc/guix.texi: Fixup path declaration.
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 889f380108..b86b81cfbf 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2774,7 +2774,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

--
2.29.2

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

From: zimoun <zimon.toutoune <at> gmail.com>
To: Holger Peters <holger.peters <at> posteo.de>
Cc: 45039 <at> debbugs.gnu.org
Subject: Re: [bug#45039] Duplicate folders in docs
Date: Fri, 4 Dec 2020 19:59:35 +0100

Hi,

Thanks for the report.

On Fri, 4 Dec 2020 at 10:45, Holger Peters <holger.peters <at> posteo.de> wrote:

> On https://guix.gnu.org/manual/en/html_node/Getting-Started.html there
> is a duplication of use of etc/profile

I am not sure to see where.
<http://guix.gnu.org/manual/devel/en/guix.html#Getting-Started>

Could you send a patch?

All the best,
simon

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

From: zimoun <zimon.toutoune <at> gmail.com>
To: Holger Peters <holger.peters <at> posteo.de>
Cc: 45039 <at> debbugs.gnu.org
Subject: Re: [bug#45039] Duplicate folders in docs
Date: Fri, 4 Dec 2020 20:01:26 +0100

Hi again,

On Fri, 4 Dec 2020 at 19:59, zimoun <zimon.toutoune <at> gmail.com> wrote:

> Could you send a patch?

Sorry you did in the thread. :-)
Thank you.

All the best,
simon

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

From: Leo Famulari <leo <at> famulari.name>
To: Holger Peters <holger.peters <at> posteo.de>
Cc: 45039 <at> debbugs.gnu.org, Ludovic Courtès <ludo <at> gnu.org>
Subject: Re: [bug#45039] [PATCH] Remove duplicate path declaration
Date: Fri, 4 Dec 2020 14:13:37 -0500

On Fri, Dec 04, 2020 at 10:51:37AM +0100, Holger Peters wrote:
> * doc/guix.texi: Fixup path declaration.

>  @example
> -GUIX_PROFILE="$HOME/.config/guix/current/etc/profile"
> +GUIX_PROFILE="$HOME/.config/guix/current"
>  . "$GUIX_PROFILE/etc/profile"
>  @end example

Thanks! That example is definitely not right...

However, it doesn't seem right to me either that GUIX_PROFILE should
point to '~/.config/guix/current/etc/profile'. That profile won't
contain anything useful related to packages the user installs. Compare
it to the contents of '~/.guix-profile/etc/profile' to see what I mean.

I alo was curious about the preceding paragraph, which states "Unless
you’re on Guix System, the first time you run guix pull, be sure to
follow the hint that the command prints [...]". I re-installed Guix on a
Debian system and it prints this instead:

------
hint: Consider setting the necessary environment variables by running:

     GUIX_PROFILE="/root/.guix-profile"
     . "$GUIX_PROFILE/etc/profile"

Alternately, see `guix package --search-paths -p "/root/.guix-profile"'.
------

CC-ing Ludovic (who wrote this section) for clarification.

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

From: zimoun <zimon.toutoune <at> gmail.com>
To: Leo Famulari <leo <at> famulari.name>, Holger Peters <holger.peters <at> posteo.de>
Cc: 45039 <at> debbugs.gnu.org, Ludovic Courtès <ludo <at> gnu.org>
Subject: Re: [bug#45039] [PATCH] Remove duplicate path declaration
Date: Fri, 04 Dec 2020 21:46:01 +0100

Hi Leo,

On Fri, 04 Dec 2020 at 14:13, Leo Famulari <leo <at> famulari.name> wrote:
> On Fri, Dec 04, 2020 at 10:51:37AM +0100, Holger Peters wrote:
>> * doc/guix.texi: Fixup path declaration.
>
>>  @example
>> -GUIX_PROFILE="$HOME/.config/guix/current/etc/profile"
>> +GUIX_PROFILE="$HOME/.config/guix/current"
>>  . "$GUIX_PROFILE/etc/profile"
>>  @end example
>
> Thanks! That example is definitely not right...
>
> However, it doesn't seem right to me either that GUIX_PROFILE should
> point to '~/.config/guix/current/etc/profile'. That profile won't
> contain anything useful related to packages the user installs. Compare
> it to the contents of '~/.guix-profile/etc/profile' to see what I mean.

Well, from my understanding, doing this:

        GUIX_PROFILE=$HOME/.config/guix/current
        . $GUIX_PROFILE/etc/profile

allows to have the guix commands that refer to the latest version “guix
pull”’ed.   Moreover, you also have the last version of the manual with:

--8<---------------cut here---------------start------------->8---
export INFOPATH="$HOME/.config/guix/current/share/info${INFOPATH:+:}$INFOPATH"
--8<---------------cut here---------------end--------------->8---

To me, the manual is right for this part.  Maybe I am missing something.


> I alo was curious about the preceding paragraph, which states "Unless
> you’re on Guix System, the first time you run guix pull, be sure to
> follow the hint that the command prints [...]". I re-installed Guix on a
> Debian system and it prints this instead:
>
> ------
> hint: Consider setting the necessary environment variables by running:
>
>      GUIX_PROFILE="/root/.guix-profile"
>      . "$GUIX_PROFILE/etc/profile"
>
> Alternately, see `guix package --search-paths -p "/root/.guix-profile"'.
> ------

Did you run “guix pull” as regular user?


All the best,
simon

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

From: Leo Famulari <leo <at> famulari.name>
To: zimoun <zimon.toutoune <at> gmail.com>
Cc: 45039 <at> debbugs.gnu.org, Ludovic Courtès <ludo <at> gnu.org>,
 Holger Peters <holger.peters <at> posteo.de>
Subject: Re: [bug#45039] [PATCH] Remove duplicate path declaration
Date: Fri, 4 Dec 2020 16:15:12 -0500

On Fri, Dec 04, 2020 at 09:46:01PM +0100, zimoun wrote:
> Well, from my understanding, doing this:
> 
>         GUIX_PROFILE=$HOME/.config/guix/current
>         . $GUIX_PROFILE/etc/profile
> 
> allows to have the guix commands that refer to the latest version “guix
> pull”’ed.   Moreover, you also have the last version of the manual with:
> 
> --8<---------------cut here---------------start------------->8---
> export INFOPATH="$HOME/.config/guix/current/share/info${INFOPATH:+:}$INFOPATH"
> --8<---------------cut here---------------end--------------->8---
> 
> To me, the manual is right for this part.  Maybe I am missing something.

I suppose that one could source both 'etc/profile' directories, from
~/.guix-profile and ~/.config/guix/current.

> Did you run “guix pull” as regular user?

No, as the root user. It's the only user on that server.

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

From: zimoun <zimon.toutoune <at> gmail.com>
To: Leo Famulari <leo <at> famulari.name>
Cc: 45039 <at> debbugs.gnu.org, Ludovic Courtès <ludo <at> gnu.org>,
 Holger Peters <holger.peters <at> posteo.de>
Subject: Re: [bug#45039] [PATCH] Remove duplicate path declaration
Date: Fri, 04 Dec 2020 22:30:11 +0100

Hi,

On Fri, 04 Dec 2020 at 16:15, Leo Famulari <leo <at> famulari.name> wrote:
> On Fri, Dec 04, 2020 at 09:46:01PM +0100, zimoun wrote:
>> Well, from my understanding, doing this:
>> 
>>         GUIX_PROFILE=$HOME/.config/guix/current
>>         . $GUIX_PROFILE/etc/profile
>> 
>> allows to have the guix commands that refer to the latest version “guix
>> pull”’ed.   Moreover, you also have the last version of the manual with:
>> 
>> --8<---------------cut here---------------start------------->8---
>> export INFOPATH="$HOME/.config/guix/current/share/info${INFOPATH:+:}$INFOPATH"
>> --8<---------------cut here---------------end--------------->8---
>> 
>> To me, the manual is right for this part.  Maybe I am missing something.
>
> I suppose that one could source both 'etc/profile' directories, from
> ~/.guix-profile and ~/.config/guix/current.

My .bash_profile contains:

--8<---------------cut here---------------start------------->8---
export GUIX_MYPROFILES=~/.config/guix/profiles
for p in $(ls --color=no -1 $GUIX_MYPROFILES)
do
    profile=${GUIX_MYPROFILES}/${p}/${p}
    if [ -d $profile ]
    then
	GUIX_PROFILE=$profile
	. $profile/etc/profile
	# unset $profile
    fi
done
GUIX_PROFILE=$HOME/.guix-profile
. $GUIX_PROFILE/etc/profile

# the latest Guix version lives there
# needs to be first in the PATH
GUIX_PROFILE=$HOME/.config/guix/current
. $GUIX_PROFILE/etc/profile

# Ugly workaround
export PATH="$HOME/.config/guix/current/bin${PATH:+:}$PATH"
# ~/.config/current/bin/guix repl works with readline
export GUILE_LOAD_PATH="$HOME/.guix-profile/share/guile/site/3.0${GUILE_LOAD_PATH:+:}$GUILE_LOAD_PATH"
# lastest info manual
export INFOPATH="$HOME/.config/guix/current/share/info${INFOPATH:+:}$INFOPATH"
--8<---------------cut here---------------end--------------->8---

Hope that helps.


>> Did you run “guix pull” as regular user?
>
> No, as the root user. It's the only user on that server.

So, the message seems consistent, isn’t it?  I am not sure better could
be done for the root user.  Well, I do not know. :-)


All the best,
simon

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Leo Famulari <leo <at> famulari.name>
Cc: 45039 <at> debbugs.gnu.org, Holger Peters <holger.peters <at> posteo.de>
Subject: Re: [bug#45039] [PATCH] Remove duplicate path declaration
Date: Mon, 07 Dec 2020 10:04:12 +0100

Hi,

Leo Famulari <leo <at> famulari.name> skribis:

> On Fri, Dec 04, 2020 at 10:51:37AM +0100, Holger Peters wrote:
>> * doc/guix.texi: Fixup path declaration.
>
>>  @example
>> -GUIX_PROFILE="$HOME/.config/guix/current/etc/profile"
>> +GUIX_PROFILE="$HOME/.config/guix/current"
>>  . "$GUIX_PROFILE/etc/profile"
>>  @end example
>
> Thanks! That example is definitely not right...

Indeed; applying.

> However, it doesn't seem right to me either that GUIX_PROFILE should
> point to '~/.config/guix/current/etc/profile'. That profile won't
> contain anything useful related to packages the user installs. Compare
> it to the contents of '~/.guix-profile/etc/profile' to see what I mean.

Note that GUIX_PROFILE here is a shell variable, not an environment
variable.  It value matters only for the “.” that immediately follows.
After that, it no longer matters.

> I alo was curious about the preceding paragraph, which states "Unless
> you’re on Guix System, the first time you run guix pull, be sure to
> follow the hint that the command prints [...]". I re-installed Guix on a
> Debian system and it prints this instead:
>
> ------
> hint: Consider setting the necessary environment variables by running:
>
>      GUIX_PROFILE="/root/.guix-profile"
>      . "$GUIX_PROFILE/etc/profile"
>
> Alternately, see `guix package --search-paths -p "/root/.guix-profile"'.
> ------
>
> CC-ing Ludovic (who wrote this section) for clarification.

Isn’t it what ‘guix install’ printed rather than what ‘guix pull’
printed?

For example, look:

--8<---------------cut here---------------start------------->8---
$ guix pull -p /tmp/g
[…]
building profile with 1 package...
hint: Consider setting the necessary environment variables by running:

     GUIX_PROFILE="/tmp/g"
     . "$GUIX_PROFILE/etc/profile"

Alternately, see `guix package --search-paths -p "/tmp/g"'.


hint: After setting `PATH', run `hash guix' to make sure your shell refers to `/tmp/g/bin/guix'.
--8<---------------cut here---------------end--------------->8---

The hint is about this very profile, not about ~/.guix-profile.

Thanks,
Ludo’.

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

From: Leo Famulari <leo <at> famulari.name>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 45039 <at> debbugs.gnu.org, Holger Peters <holger.peters <at> posteo.de>
Subject: Re: [bug#45039] [PATCH] Remove duplicate path declaration
Date: Mon, 7 Dec 2020 14:31:10 -0500

On Mon, Dec 07, 2020 at 10:04:12AM +0100, Ludovic Courtès wrote:
> Note that GUIX_PROFILE here is a shell variable, not an environment
> variable.  It value matters only for the “.” that immediately follows.
> After that, it no longer matters.

Oooooh, right! My mistake...

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

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 45039-done <at> debbugs.gnu.org, Holger Peters <holger.peters <at> posteo.de>,
 Leo Famulari <leo <at> famulari.name>
Subject: Re: bug#45039: Duplicate folders in docs
Date: Thu, 15 Jul 2021 22:09:13 -0400

Hello,

Ludovic Courtès <ludo <at> gnu.org> writes:

> Hi,
>
> Leo Famulari <leo <at> famulari.name> skribis:
>
>> On Fri, Dec 04, 2020 at 10:51:37AM +0100, Holger Peters wrote:
>>> * doc/guix.texi: Fixup path declaration.
>>
>>>  @example
>>> -GUIX_PROFILE="$HOME/.config/guix/current/etc/profile"
>>> +GUIX_PROFILE="$HOME/.config/guix/current"
>>>  . "$GUIX_PROFILE/etc/profile"
>>>  @end example
>>
>> Thanks! That example is definitely not right...
>
> Indeed; applying.

Thanks!

Closing.

Maxim

Previous Next

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