bug#22402: info guix pages

bug#22402: info guix pages

[carl hansen]

[-- Attachment #1: Type: text/plain, Size: 349 bytes --]

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?

[-- Attachment #2: Type: text/html, Size: 560 bytes --]

bug#22402: info guix pages

[Leo Famulari]

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"?

bug#22402: info guix pages

[carl hansen]

[-- Attachment #1: Type: text/plain, Size: 592 bytes --]

On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari <leo@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

[-- Attachment #2: Type: text/html, Size: 1127 bytes --]

bug#22402: info guix pages

[Ludovic Courtès]

carl hansen <carlhansen1234@gmail.com> skribis:

> On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari <leo@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’.

bug#22402: info guix pages

[carl hansen]

[-- Attachment #1: Type: text/plain, Size: 1810 bytes --]

On Tue, Jan 19, 2016 at 1:01 AM, Ludovic Courtès <ludo@gnu.org> wrote:

> carl hansen <carlhansen1234@gmail.com> skribis:
>
> > On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari <leo@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.

[-- Attachment #2: Type: text/html, Size: 2978 bytes --]

bug#22402: info guix pages

[Ludovic Courtès]

carl hansen <carlhansen1234@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’.

bug#22402: info guix pages

[Efraim Flashner]

[-- Attachment #1: Type: text/plain, Size: 788 bytes --]

On Tue, 19 Jan 2016 11:45:09 +0100
ludo@gnu.org (Ludovic Courtès) wrote:

> carl hansen <carlhansen1234@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@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

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 819 bytes --]

bug#22402: info guix pages

[Thompson, David]

On Tue, Jan 19, 2016 at 4:34 AM, carl hansen <carlhansen1234@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

bug#22402: info guix pages

[Leo Famulari]

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

bug#22402: info guix pages

[carl hansen]

[-- Attachment #1: Type: text/plain, Size: 1119 bytes --]

On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari <leo@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@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.

[-- Attachment #2: Type: text/html, Size: 2089 bytes --]

bug#22402: info guix pages

[Leo Famulari]

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

bug#22402: info guix pages

[carl hansen]

[-- Attachment #1: Type: text/plain, Size: 1896 bytes --]

On Tue, Jan 19, 2016 at 8:24 PM, Leo Famulari <leo@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@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@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.

[-- Attachment #2: Type: text/html, Size: 2846 bytes --]

bug#22402: info guix pages

[Leo Famulari]

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@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@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@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#22402: info guix pages

[Ludovic Courtès]

"Thompson, David" <dthompson2@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’.