bug#22408: wget rejects Let's Encrypt certs, although Icecat accepts them

2016-01-19 Thread Leo Famulari
On Tue, Jan 19, 2016 at 09:27:09AM -0500, Mark H Weaver wrote: > On recent GuixSD, IceCat accepts the Let's Encrypt certificate from > https://git.dthompson.us/, but 'wget' rejects it: > > mhw@jojen:~$ wget > https://git.dthompson.us/presentations.git/blob/HEAD:/guix-blu-2016-01-20.pdf > --20

bug#22402: info guix pages

2016-01-19 Thread 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 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

bug#22402: info guix pages

2016-01-19 Thread carl hansen
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

bug#22402: info guix pages

2016-01-19 Thread 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 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.

bug#22274: GuixSD resets hardware clock (on Lenovo x200 with libreboot)

2016-01-19 Thread Christopher Allan Webber
Ludovic Courtès writes: > Mark H Weaver skribis: > >> Christopher Allan Webber writes: >> >>> From e60db8323c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001 >>> From: Christopher Allan Webber >>> Date: Sun, 17 Jan 2016 20:34:25 -0800 >>> Subject: [PATCH] gnu: Add linux-libre-4.2.5 >>> >

bug#22402: info guix pages

2016-01-19 Thread Thompson, David
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

bug#22274: GuixSD resets hardware clock (on Lenovo x200 with libreboot)

2016-01-19 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: > Mark H Weaver skribis: > >> Christopher Allan Webber writes: >> >>> From e60db8323c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001 >>> From: Christopher Allan Webber >>> Date: Sun, 17 Jan 2016 20:34:25 -0800 >>> Subject: [PATCH] gnu: Add linux-li

bug#22274: GuixSD resets hardware clock (on Lenovo x200 with libreboot)

2016-01-19 Thread Ludovic Courtès
Mark H Weaver skribis: > Christopher Allan Webber writes: > >> From e60db8323c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001 >> From: Christopher Allan Webber >> Date: Sun, 17 Jan 2016 20:34:25 -0800 >> Subject: [PATCH] gnu: Add linux-libre-4.2.5 >> >> This older version of linux-libre

bug#22402: info guix pages

2016-01-19 Thread Efraim Flashner
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

bug#22274: GuixSD resets hardware clock (on Lenovo x200 with libreboot)

2016-01-19 Thread Mark H Weaver
Christopher Allan Webber writes: > From e60db8323c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001 > From: Christopher Allan Webber > Date: Sun, 17 Jan 2016 20:34:25 -0800 > Subject: [PATCH] gnu: Add linux-libre-4.2.5 > > This older version of linux-libre is being added because it was fou

bug#22408: wget rejects Let's Encrypt certs, although Icecat accepts them

2016-01-19 Thread Mark H Weaver
On recent GuixSD, IceCat accepts the Let's Encrypt certificate from https://git.dthompson.us/, but 'wget' rejects it: mhw@jojen:~$ wget https://git.dthompson.us/presentations.git/blob/HEAD:/guix-blu-2016-01-20.pdf --2016-01-19 09:23:23-- https://git.dthompson.us/presentations.git/blob/HEAD:

bug#22402: info guix pages

2016-01-19 Thread Ludovic Courtès
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.

bug#22402: info guix pages

2016-01-19 Thread carl hansen
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

bug#22402: info guix pages

2016-01-19 Thread Ludovic Courtès
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