GNU bug report logs -
#22402
Guix Info page not found on foreign distros
Previous Next
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.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 22402 in the body.
You can then email your comments to 22402 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Mon, 18 Jan 2016 23:44:02 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
carl hansen <carlhansen1234 <at> gmail.com>
:
New bug report received and forwarded. Copy sent to
bug-guix <at> gnu.org
.
(Mon, 18 Jan 2016 23:44:02 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
I do
"info guix"
and I don't get the info pages, although OTHER info pages work
and INFOPATH seems correct.
BUt if I am root then I do get
info guix correctly.
I can see the files are there in the file system.
It seems that the guix.info should be automatically accessible
to regular users, or do I have to do some additonal step?
Or is it just me?
[Message part 2 (text/html, inline)]
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Tue, 19 Jan 2016 01:48:01 GMT)
Full text and
rfc822 format available.
Message #8 received at 22402 <at> debbugs.gnu.org (full text, mbox):
On Mon, Jan 18, 2016 at 03:43:35PM -0800, carl hansen wrote:
> I do
> "info guix"
> and I don't get the info pages, although OTHER info pages work
> and INFOPATH seems correct.
> BUt if I am root then I do get
> info guix correctly.
> I can see the files are there in the file system.
> It seems that the guix.info should be automatically accessible
> to regular users, or do I have to do some additonal step?
> Or is it just me?
Are you using GuixSD or Guix on a "foreign distro"?
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Tue, 19 Jan 2016 03:56:02 GMT)
Full text and
rfc822 format available.
Message #11 received at 22402 <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari <leo <at> famulari.name> wrote:
> On Mon, Jan 18, 2016 at 03:43:35PM -0800, carl hansen wrote:
> > I do
> > "info guix"
> > and I don't get the info pages, although OTHER info pages work
> > and INFOPATH seems correct.
> > BUt if I am root then I do get
> > info guix correctly.
> > I can see the files are there in the file system.
> > It seems that the guix.info should be automatically accessible
> > to regular users, or do I have to do some additonal step?
> > Or is it just me?
>
> Are you using GuixSD or Guix on a "foreign distro"?
>
ubuntu
[Message part 2 (text/html, inline)]
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Tue, 19 Jan 2016 09:03:02 GMT)
Full text and
rfc822 format available.
Message #14 received at 22402 <at> debbugs.gnu.org (full text, mbox):
carl hansen <carlhansen1234 <at> gmail.com> skribis:
> On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari <leo <at> famulari.name> wrote:
>
>> On Mon, Jan 18, 2016 at 03:43:35PM -0800, carl hansen wrote:
>> > I do
>> > "info guix"
>> > and I don't get the info pages, although OTHER info pages work
>> > and INFOPATH seems correct.
>> > BUt if I am root then I do get
>> > info guix correctly.
>> > I can see the files are there in the file system.
>> > It seems that the guix.info should be automatically accessible
>> > to regular users, or do I have to do some additonal step?
>> > Or is it just me?
>>
>> Are you using GuixSD or Guix on a "foreign distro"?
>>
>
> ubuntu
Where is Guix installed? If you used the “binary installation” method,
Guix is installed in /root/.guix-profile, which is why you only get to
see its manual when running ‘info’ as root.
HTH,
Ludo’.
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Tue, 19 Jan 2016 09:35:02 GMT)
Full text and
rfc822 format available.
Message #17 received at 22402 <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
On Tue, Jan 19, 2016 at 1:01 AM, Ludovic Courtès <ludo <at> gnu.org> wrote:
> carl hansen <carlhansen1234 <at> gmail.com> skribis:
>
> > On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari <leo <at> famulari.name> wrote:
> >
> >> On Mon, Jan 18, 2016 at 03:43:35PM -0800, carl hansen wrote:
> >> > I do
> >> > "info guix"
> >> > and I don't get the info pages, although OTHER info pages work
> >> > and INFOPATH seems correct.
> >> > BUt if I am root then I do get
> >> > info guix correctly.
> >> > I can see the files are there in the file system.
> >> > It seems that the guix.info should be automatically accessible
> >> > to regular users, or do I have to do some additonal step?
> >> > Or is it just me?
> >>
> >> Are you using GuixSD or Guix on a "foreign distro"?
> >>
> >
> > ubuntu
>
> Where is Guix installed? If you used the “binary installation” method,
> Guix is installed in /root/.guix-profile, which is why you only get to
> see its manual when running ‘info’ as root.
>
> HTH,
> Ludo’.
>
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 acknowledge my understanding of the guix system is incomplete.
[Message part 2 (text/html, inline)]
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Tue, 19 Jan 2016 10:46:01 GMT)
Full text and
rfc822 format available.
Message #20 received at 22402 <at> debbugs.gnu.org (full text, mbox):
carl hansen <carlhansen1234 <at> gmail.com> skribis:
> 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
OK.
> 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.)
Yeah, I agree this is bad. On GuixSD there’s no such problem because
Guix is installed system-wide, so “info guix” always picks up the
system-wide guix.info at least.
> Would "guix package -i guix" do the right thing? That seems all
> wrong, would install stuff I already have.
It would do the trick, yes.
I’m not sure how to fix that problem on foreign distros. Suggestions
welcome.
Ludo’.
Changed bug title to 'Guix Info page not found on foreign distros' from 'info guix pages'
Request was from
ludo <at> gnu.org (Ludovic Courtès)
to
control <at> debbugs.gnu.org
.
(Tue, 19 Jan 2016 10:47:02 GMT)
Full text and
rfc822 format available.
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Tue, 19 Jan 2016 16:43:02 GMT)
Full text and
rfc822 format available.
Message #25 received at 22402 <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
On Tue, 19 Jan 2016 11:45:09 +0100
ludo <at> gnu.org (Ludovic Courtès) wrote:
> carl hansen <carlhansen1234 <at> gmail.com> skribis:
>
> [...]
>
> OK.
>
> [...]
>
> Yeah, I agree this is bad. On GuixSD there’s no such problem because
> Guix is installed system-wide, so “info guix” always picks up the
> system-wide guix.info at least.
>
> [...]
>
> It would do the trick, yes.
>
> I’m not sure how to fix that problem on foreign distros. Suggestions
> welcome.
>
> Ludo’.
>
step 11 of binary install:
$ guix package -i guix
--
Efraim Flashner <efraim <at> flashner.co.il> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
[Message part 2 (application/pgp-signature, inline)]
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Tue, 19 Jan 2016 17:18:02 GMT)
Full text and
rfc822 format available.
Message #28 received at 22402 <at> debbugs.gnu.org (full text, mbox):
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?
- Dave
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Tue, 19 Jan 2016 22:04:01 GMT)
Full text and
rfc822 format available.
Message #31 received at 22402 <at> debbugs.gnu.org (full text, mbox):
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
>
>
>
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Wed, 20 Jan 2016 00:46:02 GMT)
Full text and
rfc822 format available.
Message #34 received at 22402 <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari <leo <at> famulari.name> wrote:
> 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
> > >
>
snip snip
Ok I did, as suggested,
guix package -i guix
which I was afraid of, fearing some ouroboros strange loop destruction of
the universe;
fears unfounded, only curious effect was dozens or hundreds of
warning: collision encountered: /gnu/store/wfvxxpdhnzd59v ...
warning: arbitrarily choosing /gnu/store/wfvxxpdhnzd59vkad1z...
type messages. Otherwise, seems to work.
As suggested by Efraim Flashner , add that command to the Binary install
instructions.
Now, about your fine manual, on http://www.gnu.org/software/guix/manual/
we see "last updated November 04, 2015"
Please use a cronjob to update the manual nightly , or so, to the latest
version. The universe will thank you.
[Message part 2 (text/html, inline)]
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Wed, 20 Jan 2016 04:25:02 GMT)
Full text and
rfc822 format available.
Message #37 received at 22402 <at> debbugs.gnu.org (full text, mbox):
On Tue, Jan 19, 2016 at 04:45:12PM -0800, carl hansen wrote:
> On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari <leo <at> famulari.name> wrote:
>
> > 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
> > > >
> >
>
> snip snip
>
> Ok I did, as suggested,
> guix package -i guix
> which I was afraid of, fearing some ouroboros strange loop destruction of
> the universe;
> fears unfounded, only curious effect was dozens or hundreds of
>
> warning: collision encountered: /gnu/store/wfvxxpdhnzd59v ...
> warning: arbitrarily choosing /gnu/store/wfvxxpdhnzd59vkad1z...
>
> type messages. Otherwise, seems to work.
That's not optimal. Those messages mean that of the store directories
linked to from your profile, more than one provide a given path.
For example, GNU Parallel and moreutils both have a path "bin/parallel":
/gnu/store/7ggbvsql79s5i05a3v8cbn48kdrzf7nc-parallel-20151222/bin/parallel
/gnu/store/ax4ppgzmx5cjqr813l3djgzhiniam1yz-moreutils-0.57/bin/parallel
If you install both in your profile, those two paths both become:
~/.guix-profile/bin/parallel
And so you get a warning and the conflict is resolved arbitrarily. You
can't have both of the "parallels" in your profile at once.
Were the conflicting paths related to Guix?
>
> As suggested by Efraim Flashner , add that command to the Binary install
> instructions.
>
> Now, about your fine manual, on http://www.gnu.org/software/guix/manual/
> we see "last updated November 04, 2015"
> Please use a cronjob to update the manual nightly , or so, to the latest
> version. The universe will thank you.
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Wed, 20 Jan 2016 23:24:01 GMT)
Full text and
rfc822 format available.
Message #40 received at 22402 <at> debbugs.gnu.org (full text, mbox):
"Thompson, David" <dthompson2 <at> worcester.edu> skribis:
> 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?
Good idea. Done in aca738f. Step #6 becomes:
--8<---------------cut here---------------start------------->8---
6. Make the ‘guix’ command available to other users on the machine,
for instance with:
# mkdir -p /usr/local/bin
# cd /usr/local/bin
# ln -s /var/guix/profiles/per-user/root/guix-profile/bin/guix
It is also a good idea to make the Info version of this manual
available there:
# mkdir -p /usr/local/share/info
# cd /usr/local/share/info
# for i in /var/guix/profiles/per-user/root/guix-profile/share/info/* ;
do ln -s $i ; done
That way, assuming ‘/usr/local/share/info’ is in the search path,
running ‘info guix’ will open this manual (*note (texinfo)Other
Info Directories::, for more details on changing the Info search
path.)
--8<---------------cut here---------------end--------------->8---
Carl, WDYT?
Thanks,
Ludo’.
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Thu, 21 Jan 2016 01:28:02 GMT)
Full text and
rfc822 format available.
Message #43 received at 22402 <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
On Tue, Jan 19, 2016 at 8:24 PM, Leo Famulari <leo <at> famulari.name> wrote:
> On Tue, Jan 19, 2016 at 04:45:12PM -0800, carl hansen wrote:
> > On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari <leo <at> famulari.name> wrote:
> >
> > > 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
> > > > >
> > >
> >
> > snip snip
> >
> > Ok I did, as suggested,
> > guix package -i guix
> > which I was afraid of, fearing some ouroboros strange loop destruction of
> > the universe;
> > fears unfounded, only curious effect was dozens or hundreds of
> >
> > warning: collision encountered: /gnu/store/wfvxxpdhnzd59v ...
> > warning: arbitrarily choosing /gnu/store/wfvxxpdhnzd59vkad1z...
> >
> > type messages. Otherwise, seems to work.
>
> That's not optimal. Those messages mean that of the store directories
> linked to from your profile, more than one provide a given path.
>
> For example, GNU Parallel and moreutils both have a path "bin/parallel":
> /gnu/store/7ggbvsql79s5i05a3v8cbn48kdrzf7nc-parallel-20151222/bin/parallel
> /gnu/store/ax4ppgzmx5cjqr813l3djgzhiniam1yz-moreutils-0.57/bin/parallel
>
> If you install both in your profile, those two paths both become:
> ~/.guix-profile/bin/parallel
>
> And so you get a warning and the conflict is resolved arbitrarily. You
> can't have both of the "parallels" in your profile at once.
>
> Were the conflicting paths related to Guix?
>
> I don't have the lines anymore, I think they are related to lots of
packages beside guix.
As I learn, then I will know more; for now I will ignore ignorable messages
from my
computer, and move on.
[Message part 2 (text/html, inline)]
Information forwarded
to
bug-guix <at> gnu.org
:
bug#22402
; Package
guix
.
(Thu, 21 Jan 2016 03:22:01 GMT)
Full text and
rfc822 format available.
Message #46 received at 22402 <at> debbugs.gnu.org (full text, mbox):
On Wed, Jan 20, 2016 at 05:26:54PM -0800, carl hansen wrote:
> On Tue, Jan 19, 2016 at 8:24 PM, Leo Famulari <leo <at> famulari.name> wrote:
>
> > On Tue, Jan 19, 2016 at 04:45:12PM -0800, carl hansen wrote:
> > > On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari <leo <at> famulari.name> wrote:
> > >
> > > > 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
> > > > > >
> > > >
> > >
> > > snip snip
> > >
> > > Ok I did, as suggested,
> > > guix package -i guix
> > > which I was afraid of, fearing some ouroboros strange loop destruction of
> > > the universe;
> > > fears unfounded, only curious effect was dozens or hundreds of
> > >
> > > warning: collision encountered: /gnu/store/wfvxxpdhnzd59v ...
> > > warning: arbitrarily choosing /gnu/store/wfvxxpdhnzd59vkad1z...
> > >
> > > type messages. Otherwise, seems to work.
> >
> > That's not optimal. Those messages mean that of the store directories
> > linked to from your profile, more than one provide a given path.
> >
> > For example, GNU Parallel and moreutils both have a path "bin/parallel":
> > /gnu/store/7ggbvsql79s5i05a3v8cbn48kdrzf7nc-parallel-20151222/bin/parallel
> > /gnu/store/ax4ppgzmx5cjqr813l3djgzhiniam1yz-moreutils-0.57/bin/parallel
> >
> > If you install both in your profile, those two paths both become:
> > ~/.guix-profile/bin/parallel
> >
> > And so you get a warning and the conflict is resolved arbitrarily. You
> > can't have both of the "parallels" in your profile at once.
> >
> > Were the conflicting paths related to Guix?
> >
> > I don't have the lines anymore, I think they are related to lots of
> packages beside guix.
> As I learn, then I will know more; for now I will ignore ignorable messages
> from my
> computer, and move on.
Sometimes, the messages are ignorable, and sometimes not. The two
'parallels' are not interchangeable.
bug marked as fixed in version 0.9.1, send any further explanations to
22402 <at> debbugs.gnu.org and carl hansen <carlhansen1234 <at> gmail.com>
Request was from
ludo <at> gnu.org (Ludovic Courtès)
to
control <at> debbugs.gnu.org
.
(Fri, 05 Feb 2016 13:07:02 GMT)
Full text and
rfc822 format available.
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Sat, 05 Mar 2016 12:24:04 GMT)
Full text and
rfc822 format available.
This bug report was last modified 8 years and 56 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.