[bug#45039] Duplicate folders in docs

[bug#45039] Duplicate folders in docs

[Holger Peters]

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@posteo.de>

[bug#45039] [PATCH] Remove duplicate path declaration

[Holger Peters]

* 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

[bug#45039] Duplicate folders in docs

[zimoun]

Hi,

Thanks for the report.

On Fri, 4 Dec 2020 at 10:45, Holger Peters <holger.peters@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

[bug#45039] Duplicate folders in docs

[zimoun]

Hi again,

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

> Could you send a patch?

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

All the best,
simon

[bug#45039] [PATCH] Remove duplicate path declaration

[Leo Famulari]

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.

[bug#45039] [PATCH] Remove duplicate path declaration

[zimoun]

Hi Leo,

On Fri, 04 Dec 2020 at 14:13, Leo Famulari <leo@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

[bug#45039] [PATCH] Remove duplicate path declaration

[Leo Famulari]

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.

[bug#45039] [PATCH] Remove duplicate path declaration

[zimoun]

Hi,

On Fri, 04 Dec 2020 at 16:15, Leo Famulari <leo@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

[bug#45039] [PATCH] Remove duplicate path declaration

[Ludovic Courtès]

Hi,

Leo Famulari <leo@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’.

[bug#45039] [PATCH] Remove duplicate path declaration

[Leo Famulari]

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...

bug#45039: Duplicate folders in docs

[Maxim Cournoyer]

Hello,

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

> Hi,
>
> Leo Famulari <leo@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