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