GNU bug report logs - #22402
Guix Info page not found on foreign distros

Previous Next

Package: guix;

Reported by: carl hansen <carlhansen1234 <at> gmail.com>

Date: Mon, 18 Jan 2016 23:44:02 UTC

Severity: normal

Fixed in version 0.9.1

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

Full log


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

From: Leo Famulari <leo <at> famulari.name>
To: "Thompson, David" <dthompson2 <at> worcester.edu>
Cc: carl hansen <carlhansen1234 <at> gmail.com>, 22402 <at> debbugs.gnu.org
Subject: Re: bug#22402: info guix pages
Date: Tue, 19 Jan 2016 17:02:34 -0500
On Tue, Jan 19, 2016 at 12:17:32PM -0500, Thompson, David wrote:
> On Tue, Jan 19, 2016 at 4:34 AM, carl hansen <carlhansen1234 <at> gmail.com> wrote:
> >
> > Yes, that is the case, there is no mystery, there is indeed a
> >  /root/.guix-profile/share/info/guix.info
> > and there is NOT a
> > ~user/.guix-profile/share/info/guix.info
> >
> > However I consider that a bug. Here I am a user, using guix, and I expect
> > "info guix" to work. Why would the user have to switch to root just to read
> > this one info file? After installing guix,  I would expect guix.info to be
> > in my defalt .guix-profile, or a least a notice of how to install
> > guix.info. ( coping and linking I know how to do, that's not the problem.
> > It's a question
> > of creating a polished piece of software.) Would "guix package -i guix" do
> > the right thing?
> > That seems all wrong, would install stuff I already have.
> 
> I think you need to adjust your expectations.  You only have Guix
> available *in the root user's profile*.  Each user has their own
> package profile, so running 'guix package -i guix' as your regular
> user is exactly what you want.  Why would you expect the system to
> magically read the info pages out of root's profile?  It's not
> installing stuff you already have because your user *didn't* have it.
> So, install the Guix package and set $INFOPATH to include
> $HOME/.guix-profile/share/info.
> 
> Ludo, to avoid this confusion in the future, perhaps the binary
> installation instructions for folks on foreign distros could have an
> additional instruction.  After symlinking root's guix to
> /usr/local/bin/guix, the documentation could suggest  symlinking the
> docs to /usr/local/share/info.  Would that help?

I only just realized that I have been using root's `guix` as my user,
because I have been relying on the `guix` in '/usr/local/bin'. I like
Efraim's suggestion of instructing users to `guix package -i guix`.

> 
> - Dave
> 
> 
> 




This bug report was last modified 9 years and 107 days ago.

Previous Next


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