On Wed, Jan 20, 2016 at 05:26:54PM -0800, carl hansen wrote:
> On Tue, Jan 19, 2016 at 8:24 PM, Leo Famulari 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 wrote:
> > >
> > > > On Tue, Jan 19, 2016 at 12:17:32PM -0500
On Tue, Jan 19, 2016 at 8:24 PM, Leo Famulari 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 wrote:
> >
> > > On Tue, Jan 19, 2016 at 12:17:32PM -0500, Thompson, David wrote:
> > > > On Tue, Jan 19, 2016 at 4:34 AM, carl ha
"Thompson, David" 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
> d
On Tue, Jan 19, 2016 at 04:45:12PM -0800, carl hansen wrote:
> On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari 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
> > wrote:
> > > >
> > > > Yes, that is the case, there is
On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari 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
> wrote:
> > >
> > > Yes, that is the case, there is no mystery, there is indeed a
> > > /root/.guix-profile/share/info/guix.i
On Tue, Jan 19, 2016 at 12:17:32PM -0500, Thompson, David wrote:
> On Tue, Jan 19, 2016 at 4:34 AM, carl hansen 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.
On Tue, Jan 19, 2016 at 4:34 AM, carl hansen 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 e
On Tue, 19 Jan 2016 11:45:09 +0100
l...@gnu.org (Ludovic Courtès) wrote:
> carl hansen 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.in
carl hansen 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.
On Tue, Jan 19, 2016 at 1:01 AM, Ludovic Courtès wrote:
> carl hansen skribis:
>
> > On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari 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 in
carl hansen skribis:
> On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari 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
On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari 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 correctl
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 tha
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
14 matches
Mail list logo
