GNU bug report logs - #45039
Duplicate folders in docs

Previous Next

Full log

View this message in rfc822 format

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

Previous Next

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