bug#19219: New command-line syntax for package + version?

2016-01-18 Thread Ludovic Courtès
Following the poll, it seems there’s a slight preference for the “guile@1.8” syntax (and I admit it’s also my preference; hope I’m not too biased ;-)). https://lists.gnu.org/archive/html/guix-devel/2016-01/threads.html#00335 Mathieu, would you be willing/available to implement the change?

bug#19219: New command-line syntax for package + version?

2016-01-18 Thread Mathieu Lirzin
Hi, l...@gnu.org (Ludovic Courtès) writes: > Following the poll, it seems there’s a slight preference for the > “guile@1.8” syntax (and I admit it’s also my preference; hope I’m not > too biased ;-)). I have the same impression. > Mathieu, would you be willing/available to implement the

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

2016-01-18 Thread Christopher Allan Webber
Christopher Allan Webber writes: > Ludovic Courtès writes: > >> Christopher Allan Webber skribis: >> >>> My config is attached. Hackily, I copy-pasta'ed the kernel packages >>> entirely from guix v0.9.0's release. I can confirm that this can read >>> the hardware clock

bug#22402: info guix pages

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

bug#22402: info guix pages

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

bug#22402: info guix pages

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

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

2016-01-18 Thread Ludovic Courtès
Christopher Allan Webber skribis: > 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

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

2016-01-18 Thread Christopher Allan Webber
Ludovic Courtès writes: > Christopher Allan Webber skribis: > >> 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