Re: Determinism issue

2014-07-19 Thread Ondra Pelech
oh, great, thanks for the explanation! regarding the fixed point, from your linked mail, I don't understand what is already accomplished and what still has to be done to reach fixed point. so what is the status quo? best regards Ondra On Sat, Jul 19, 2014 at 3:52 PM, Ludovic Courtès wrote: > Hel

gnu: htop: Update to 1.0.3.

2014-07-19 Thread Jason Self
* gnu/packages/admin.scm (htop): Update to version 1.0.3. From a15e2d287f205b088b9141cb1e80ee0592d1a274 Mon Sep 17 00:00:00 2001 From: Jason Self Date: Sat, 19 Jul 2014 13:40:43 -0700 Subject: [PATCH 1/1] gnu: htop: Update to 1.0.3. * gnu/packages/admin.scm (htop): Update to version 1.0.3. Signe

gnu: dfc: Update to 3.0.4.

2014-07-19 Thread Jason Self
* gnu/packages/admin.scm (dfc): Update to version 3.0.4. From e6aed17bdcf8a0643802e440efec860ed644d12d Mon Sep 17 00:00:00 2001 From: Jason Self Date: Sat, 19 Jul 2014 13:33:14 -0700 Subject: [PATCH 1/1] gnu: dfc: Update to 3.0.4. * gnu/packages/admin.scm (dfc): Update to version 3.0.4. Signed-o

gnu: acl: Update to 2.2.52.

2014-07-19 Thread Jason Self
* gnu/packages/acl.scm (acl): Update to version 2.2.52. From 2f4f94c660c58b3c46c1ce485c22017eebe255ad Mon Sep 17 00:00:00 2001 From: Jason Self Date: Sat, 19 Jul 2014 13:24:47 -0700 Subject: [PATCH 1/1] gnu: acl: Update to 2.2.52. * gnu/packages/acl.scm (acl): Update to version 2.2.52. Signed-of

Re: System installation from a USB stick

2014-07-19 Thread Adam Pribyl
On Sat, 19 Jul 2014, Ludovic Courtès wrote: Adam Pribyl skribis: Sorry, I was completely wrong, the new liveUSB has e2fsprogs, however I probably do have the problem with ahci module too, and I confused the old /dev/sda harddrive which is now missing, and /dev/sda USB. So this is it. My HDD i

Re: Emacs interface for Guix

2014-07-19 Thread Ludovic Courtès
Alex Kost skribis: > Ludovic Courtès (2014-07-18 13:16 +0400) wrote: [...] >> Actually I think eventually (i.e., soon ;-)) we should add guix.el to >> the Guix repo. Among other things, that means that the Scheme code for >> guix.el can be easily kept in sync with the (guix ...) API, which is

Re: System installation from a USB stick

2014-07-19 Thread Ludovic Courtès
Adam Pribyl skribis: >> Sorry, I was completely wrong, the new liveUSB has e2fsprogs, >> however I probably do have the problem with ahci module too, and I >> confused the old /dev/sda harddrive which is now missing, and >> /dev/sda USB. So this is it. My HDD is not visible with the new USB >> im

Re: Determinism issue

2014-07-19 Thread Ludovic Courtès
Hello, Roughly, there’s not much difference between what Guix and Nixpkgs provide in terms of build determinism, but this is clearly something we’re interested in. Guix may be slightly stricter in that chroot builds are the default, and it doesn’t rely on /bin/sh being in the chroot (unlike Nixpk

Re: System installation from a USB stick

2014-07-19 Thread Adam Pribyl
On Sat, 19 Jul 2014, Adam Pribyl wrote: On Sat, 19 Jul 2014, Ludovic Courtès wrote: Adam Pribyl skribis: On Sat, 19 Jul 2014, Ludovic Courtès wrote: [...] The installation image’s root is mounted by label. So if you happen to have a different partition with the label ‘gnu-disk-image’,

Re: [PATCH] gnu: Add wireless-tools.

2014-07-19 Thread David Thompson
Ludovic Courtès writes: > David Thompson skribis: > >> So I guess we can either try to patch the source code to explicitly >> refer to the wireless-tools in the store, or make wireless-tools a >> propagated input? > > I would either do nothing, or patch (with ‘wrap-program’) the > wpa_supplicant

Re: System installation from a USB stick

2014-07-19 Thread Adam Pribyl
On Sat, 19 Jul 2014, Ludovic Courtès wrote: Adam Pribyl skribis: On Sat, 19 Jul 2014, Ludovic Courtès wrote: [...] The installation image’s root is mounted by label. So if you happen to have a different partition with the label ‘gnu-disk-image’, then it may end up mounting the wrong part

Re: [PATCH] gnu: Add wireless-tools.

2014-07-19 Thread Ludovic Courtès
David Thompson skribis: > Ludovic Courtès writes: > >> David Thompson skribis: >> >>> There was a conversation on #guix today about wpa-supplicant possibly >>> needing wireless tools in order to work. Well, I haven't tested that >>> yet, but I did write a package for the wireless tools. >> >>

Re: System installation from a USB stick

2014-07-19 Thread Ludovic Courtès
Adam Pribyl skribis: > On Sat, 19 Jul 2014, Ludovic Courtès wrote: [...] >> The installation image’s root is mounted by label. So if you happen to >> have a different partition with the label ‘gnu-disk-image’, then it may >> end up mounting the wrong partition. That’s what’s happening here, >

Re: [PATCH] linux-initrd: Add AHCI modules.

2014-07-19 Thread David Thompson
Ludovic Courtès writes: > David Thompson skribis: > >> From 2c9599720a8646a79fb3cb9517f7f0e6f1bfa25f Mon Sep 17 00:00:00 2001 >> From: David Thompson >> Date: Fri, 18 Jul 2014 11:03:02 -0400 >> Subject: [PATCH] linux-initrd: Add AHCI modules. >> >> * gnu/system/linux-initrd (linux-modules): Add

Re: [PATCH] gnu: Add wireless-tools.

2014-07-19 Thread David Thompson
Ludovic Courtès writes: > David Thompson skribis: > >> There was a conversation on #guix today about wpa-supplicant possibly >> needing wireless tools in order to work. Well, I haven't tested that >> yet, but I did write a package for the wireless tools. > > I think it expects it to be in $PATH

Re: [PATCH] gnu: Add wireless-tools.

2014-07-19 Thread Ludovic Courtès
David Thompson skribis: > There was a conversation on #guix today about wpa-supplicant possibly > needing wireless tools in order to work. Well, I haven't tested that > yet, but I did write a package for the wireless tools. I think it expects it to be in $PATH. > From 03ec990504a3f96385587eb1c

Re: System installation from a USB stick

2014-07-19 Thread Adam Pribyl
On Sat, 19 Jul 2014, Ludovic Courtès wrote: Adam Pribyl skribis: On Fri, 18 Jul 2014, Ludovic Courtès wrote: I’ve uploaded a new USB installation image for x86_64 for testing: http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140718.x86_64.xz SHA1: ac944214af34d62b585fa089cd333

Re: make test fails

2014-07-19 Thread Ludovic Courtès
Alen Skondro skribis: > From test-suite.log: > > ERROR: In procedure scm_to_sockaddr: unix address path too long: > /home/alesko/aur/guix-git/src/guix/t-register-3048/home/alesko/aur/guix-git/src/guix/t-register-3048/usr/var/guix/daemon-socket/socket This comes from an OS limitations, when socke

Re: gnu: linux-libre: Update to 3.15.6

2014-07-19 Thread Ludovic Courtès
"Jason Self" skribis: > From a09056e0eb0cb55251958c7be35d8926eb9f35e4 Mon Sep 17 00:00:00 2001 > From: Jason Self > Date: Fri, 18 Jul 2014 08:42:22 -0700 > Subject: [PATCH 1/1] gnu: linux-libre: Update to 3.15.6. > > * gnu/packages/linux.scm (linux-libre): Update to version 3.15.6. OK to push,

Re: [PATCH] linux-initrd: Add AHCI modules.

2014-07-19 Thread Ludovic Courtès
"Jason Self" skribis: > I would prefer to not maintain different kernel configurations (for > Guix and non-Guix.) This is an argument in favor of adding the modules to the initrd, rather than changing the kernel config, right? (If yes, I agree.) > If the initial ramdisk doesn't have enough stu

Re: [PATCH] linux-initrd: Add AHCI modules.

2014-07-19 Thread Ludovic Courtès
David Thompson skribis: > From 2c9599720a8646a79fb3cb9517f7f0e6f1bfa25f Mon Sep 17 00:00:00 2001 > From: David Thompson > Date: Fri, 18 Jul 2014 11:03:02 -0400 > Subject: [PATCH] linux-initrd: Add AHCI modules. > > * gnu/system/linux-initrd (linux-modules): Add them. Ah yes, OK to push! Ludo’.

Re: [PATCH 2/2] gnu: Enable tests for patch.

2014-07-19 Thread Ludovic Courtès
John Darrington skribis: > * gnu/packages/base.scm (patch): Enable test and add "ed" as input. OK but *only* for the core-updates branch. Can you create it? Before committing, please make sure that bootstrapping still works, for instance by building: ./pre-inst-env guix build \ -e '(@@

Re: System installation from a USB stick

2014-07-19 Thread Ludovic Courtès
Adam Pribyl skribis: > On Fri, 18 Jul 2014, Ludovic Courtès wrote: > >> I’ve uploaded a new USB installation image for x86_64 for testing: >> >> http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140718.x86_64.xz >> SHA1: ac944214af34d62b585fa089cd333c1e007be7f2 >> (105 MiB) >> >> Use

Re: [PATCH 1/2] gnu: Enable swig tests.

2014-07-19 Thread Ludovic Courtès
John Darrington skribis: > * gnu/packages/swig.scm (swig): Add boost as input and enable tests. OK to commit. Ludo’.

Re: Troubles with install image

2014-07-19 Thread Ludovic Courtès
David Thompson skribis: > The initrd doesn't have modules for ahci by default, so I took a little > snippet that Mark Weaver was using in his operating-system declaration: > > (initrd (cut base-initrd <> #:extra-modules '("libahci.ko" "ahci.ko"))) > > And now for the best news: I have a working

Re: Emacs interface for Guix

2014-07-19 Thread Alex Kost
Ludovic Courtès (2014-07-18 13:16 +0400) wrote: > Alex Kost skribis: > >> Ludovic Courtès (2014-07-16 18:18 +0400) wrote: > > [...] > >>> That’s because it’s rebuilding most of the modules, AFAICS. Perhaps >>> ‘geiser-guile-load-path’ needs to be augmented to avoid that? >> >> Do you mean some g