bug#22384: Requirements for an ARM port?

[Ludovic Courtès]

Jookia <166...@gmail.com> skribis:

> I much appreciate the reply and sorry for opening a bug report on this rather
> than posting to -devel or help-. I'll probably have a ton of bug reports and
> patches down the line as I get GuixSD on to my T400, so I'm now drinking from
> the firehose of all three mailing lists. :)

Heh.  :-)  Don’t hesitate to ask if you have troubles or anything;
everyone will be happy to help that effort!

Ludo’.

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

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

Ludo’.

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

[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 change?

I am free of any school project for now, so I can work on it.

--
Mathieu Lirzin

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

[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 just fine, whereas the other version of the kernel
>>> can't... so it does indeed look like between Linux-Libre 4.2.5 and
>>> Linux-Libre 4.3.3 we have some sort of regression that leads to this
>>> problem on x200 Minifree Libreboot-enabled laptops, at least.
>>
>> Great, thanks for narrowing it down.
>>
>> Given that, I think it would be useful to keep a copy of 4.2.5 in Guix
>> itself.  Would you like to provide a patch for that, preferably using
>> ‘(inherit linux-libre)’ rather than copying the whole recipe?
>>
>> Ludo’.
>
> Yes, I will work on this.

Here's a patch that does just this.  Does it look good enough to merge?

>From afcd19c4b3cf69ecacf2c34ba3051fc05c830879 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 found
that newer versions (or at least 4.3.3) of linux-libre were not reading
the hardware clock on (at least Libreboot-enabled) Thinkpad x200
machines.

* gnu/linux.scm (linux-libre-4.2.5): New variable.
---
 gnu/packages/linux.scm | 16 
 1 file changed, 16 insertions(+)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 779b9c8..de4d1bd 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -317,6 +317,22 @@ It has been modified to remove all non-free binary blobs.")
 (license license:gpl2)
 (home-page "http://www.gnu.org/software/linux-libre/";
 
+;; This older version of linux-libre is being added because it was found
+;; that newer versions (or at least 4.3.3) of linux-libre were not reading
+;; the hardware clock on (at least Libreboot-enabled) Thinkpad x200
+;; machines.
+
+(define-public linux-libre-4.2.5
+  (package
+(inherit linux-libre)
+(version "4.2.5")
+(source (origin
+ (method url-fetch)
+ (uri (linux-libre-urls version))
+ (sha256
+  (base32
+   "13ar9sghm2g5w2km9x2d07q3lh81rz286d6slklv56qanm24chzx"))
+
 
 ;;;
 ;;; Pluggable authentication modules (PAM).
-- 
2.1.4

bug#22274: epochfail

[Christopher Allan Webber]

> pasting from #guix
>
>  mark_weaver, can you (and also inform others of this) check
> what it says on https://libreboot.org/faq/#epochfail
>  Quote: "This seems to be an issue in Linux kernel version
> 4.3 and higher, though it may also affect older releases. We know that
> it does not affect Linux kernel version 3.13 (the one used in Trisquel
> 7, which many libreboot developers and users use). A bisect of the
> upstream linux kernel Git repository is in order, so that we can find
> out which commit introduced this issue."

See also http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22274#38 which
confirms that this happens sometime between Linux-Libre 4.2.5 and 4.3.3
so that narrows things down a bit.

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

[Christopher Allan Webber]

Christopher Allan Webber writes:

> Here's a patch that does just this.  Does it look good enough to merge?

Forgot the (C) line.

>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 found
that newer versions (or at least 4.3.3) of linux-libre were not reading
the hardware clock on (at least Libreboot-enabled) Thinkpad x200
machines.

* gnu/linux.scm (linux-libre-4.2.5): New variable.
---
 gnu/packages/linux.scm | 17 +
 1 file changed, 17 insertions(+)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 779b9c8..217d7fe 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -6,6 +6,7 @@
 ;;; Copyright © 2015 Federico Beffa 
 ;;; Copyright © 2015 Taylan Ulrich Bayırlı/Kammer 
 ;;; Copyright © 2015 Efraim Flashner 
+;;; Copyright © 2016 Christopher Allan Webber 
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -317,6 +318,22 @@ It has been modified to remove all non-free binary blobs.")
 (license license:gpl2)
 (home-page "http://www.gnu.org/software/linux-libre/";
 
+;; This older version of linux-libre is being added because it was found
+;; that newer versions (or at least 4.3.3) of linux-libre were not reading
+;; the hardware clock on (at least Libreboot-enabled) Thinkpad x200
+;; machines.
+
+(define-public linux-libre-4.2.5
+  (package
+(inherit linux-libre)
+(version "4.2.5")
+(source (origin
+ (method url-fetch)
+ (uri (linux-libre-urls version))
+ (sha256
+  (base32
+   "13ar9sghm2g5w2km9x2d07q3lh81rz286d6slklv56qanm24chzx"))
+
 
 ;;;
 ;;; Pluggable authentication modules (PAM).
-- 
2.6.3

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

[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 version of linux-libre is being added because it was found
> that newer versions (or at least 4.3.3) of linux-libre were not reading
> the hardware clock on (at least Libreboot-enabled) Thinkpad x200
> machines.

Since this text is available as a comment, I think it’s not necessary to
keep it here.

> * gnu/linux.scm (linux-libre-4.2.5): New variable.
 
Typo.  :-)

> +;; This older version of linux-libre is being added because it was found
> +;; that newer versions (or at least 4.3.3) of linux-libre were not reading
> +;; the hardware clock on (at least Libreboot-enabled) Thinkpad x200
> +;; machines.

Maybe add “See .”

Other than that, if it builds, it’s all good!  :-)

Thank you,
Ludo’.

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

[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 linux-libre-4.2.5
>>
>> This older version of linux-libre is being added because it was found
>> that newer versions (or at least 4.3.3) of linux-libre were not reading
>> the hardware clock on (at least Libreboot-enabled) Thinkpad x200
>> machines.
>
> Since this text is available as a comment, I think it’s not necessary to
> keep it here.

Okay, removed.

>> * gnu/linux.scm (linux-libre-4.2.5): New variable.
>  
> Typo.  :-)

Ha!  Unintentional joke... :)

>> +;; This older version of linux-libre is being added because it was found
>> +;; that newer versions (or at least 4.3.3) of linux-libre were not reading
>> +;; the hardware clock on (at least Libreboot-enabled) Thinkpad x200
>> +;; machines.
>
> Maybe add “See .”
>
> Other than that, if it builds, it’s all good!  :-)
>
> Thank you,
> Ludo’.

Great, I made those changes and pushed it!  I'm using it already! :)

bug#22402: info guix pages

[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 have to do some additonal step?
Or is it just me?

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]

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