bug#28446: linux-libre@4.1 should select 4.1.x, not 4.13.x

2017-09-25 Thread Mark H Weaver
Hi Ricardo, Ricardo Wurmus writes: >> Currently, the package specification "linux-libre@4.1" selects version >> 4.13. It should instead select version 4.1. > > We consider everthing following the “@” a version string prefix. Since > versions are arbitrary strings “4.1” is considered a valid pr

bug#28445: Cannot boot GuixSD after system reconfigure

2017-09-25 Thread Danny Milosavljevic
What does it reply to ,bt ?

bug#28159: Updater needs to support HTTP(S) servers

2017-09-25 Thread Ludovic Courtès
l...@gnu.org (Ludovic Courtès) skribis: > This one is nice and smaller than ‘ls-lR’. I reimplemented the GNU > updater in terms of this file, and kept the previous FTP-based updater > around for GNU packages not hosted on ftp.gnu.org: > > > https://git.savannah.gnu.org/cgit/guix.git/commit/?id

bug#28578: xorg not starting on x200 due to recent commit

2017-09-25 Thread Chris Marusich
Leo Famulari writes: > On Sun, Sep 24, 2017 at 05:15:02PM -0700, Chris Marusich wrote: >> Christopher Allan Webber writes: >> >> > The following commit to guix makes it so that I can't start xorg: >> > >> > c68c201fdd429140da1c606861c9296b9cb01265 >> > Author: Andy Wingo >> > CommitDate:

bug#27284: Memory leak in 'guix pull' or 'make' in guix source

2017-09-25 Thread Maxim Cournoyer
l...@gnu.org (Ludovic Courtès) writes: > taylanbayi...@gmail.com (Taylan Ulrich "Bayırlı/Kammer") skribis: > >> l...@gnu.org (Ludovic Courtès) writes: >> >>> [...] >>> >>> There’s also the option of not compiling (gnu packages *) and instead >>> evaluating them, but currently this is too costly in

bug#28602: Unpack fails with no error message when using a .zip source

2017-09-25 Thread nee
Hello, right now unpacking .zip sources only works when unzip is added as native input. That's all right, but there is no error message, just: starting phase `unpack' phase `unpack' failed after 0.0 seconds It should say something like: starting phase `unpack' Archive with .zip suffix failed to

bug#28578: xorg not starting on x200 due to recent commit

2017-09-25 Thread Leo Famulari
On Sun, Sep 24, 2017 at 05:15:02PM -0700, Chris Marusich wrote: > Christopher Allan Webber writes: > > > The following commit to guix makes it so that I can't start xorg: > > > > c68c201fdd429140da1c606861c9296b9cb01265 > > Author: Andy Wingo > > CommitDate: Wed Sep 20 15:40:31 2017 +0200

bug#28578: xorg not starting on x200 due to recent commit

2017-09-25 Thread Christopher Allan Webber
Chris Marusich writes: > Christopher Allan Webber writes: > >> The following commit to guix makes it so that I can't start xorg: >> >> c68c201fdd429140da1c606861c9296b9cb01265 >> Author: Andy Wingo >> CommitDate: Wed Sep 20 15:40:31 2017 +0200 >> >> gnu: xorg-server: Prefer intel driv

bug#27476: guix pull fails on powerful server

2017-09-25 Thread Ricardo Wurmus
Ludovic Courtès writes: > With this program: > > --8<---cut here---start->8--- > (use-modules (ice-9 threads) > (srfi srfi-1)) > > (define-syntax-parameter foo > (identifier-syntax +)) > > (define threads > (unfold (lambda (x) (> x 100)) >

bug#27476: guix pull fails on powerful server

2017-09-25 Thread Ludovic Courtès
Hi, Andy Wingo skribis: > On Fri 22 Sep 2017 16:10, l...@gnu.org (Ludovic Courtès) writes: > >> Hi Ricardo, >> >> Ricardo Wurmus skribis: >> >>> The following derivation will be built: >>>/gnu/store/yvyfkns3w3vm7ynwbr7mvxcmin4gd2a0-guix-latest.drv >>> copying and compiling to >>> '/gnu/sto

bug#27476: guix pull fails on powerful server

2017-09-25 Thread Clément Lassieur
I got it too for the first time yesterday on my 128G RAM and 32 CPU cores server: --8<---cut here---start->8--- substitute: updating list of substitutes from [...] Updating from Git repository at 'https://git.savannah.gnu.org/git/guix.git'... Building from Git c

bug#28445: Cannot boot GuixSD after system reconfigure

2017-09-25 Thread Ludovic Courtès
Hi Roel, Roel Janssen skribis: > I could generate a new system, but upon booting it, I was dropped to a > Guile REPL. Could you check what the error was? (You can type “,error” at the REPL if the message disappeared.) > So it doesn't seem to work. How can I troubleshoot from there? > > I use

bug#27476: guix pull fails on powerful server

2017-09-25 Thread Andy Wingo
On Fri 22 Sep 2017 16:10, l...@gnu.org (Ludovic Courtès) writes: > Hi Ricardo, > > Ricardo Wurmus skribis: > >> The following derivation will be built: >>/gnu/store/yvyfkns3w3vm7ynwbr7mvxcmin4gd2a0-guix-latest.drv >> copying and compiling to >> '/gnu/store/7m52dkr98nhwgpsx20mmpwyw2yzj58d3-gu