Re: 01/01: gnu: Use make-linux-libre-headers.

2019-05-29 Thread Carl Dong
Oh hi Mark! > I think we should not add linux-libre-4.15, because that version of > Linux-libre is no longer supported upstream, and therefore will have > well-known security flaws. Ahhh... Good point! I've attached a patch at the end of the message (I think the commit message might need

Re: 01/01: gnu: Use make-linux-libre-headers.

2019-05-29 Thread Mark H Weaver
Hi Danny and Carl, guix-comm...@gnu.org writes: > dannym pushed a commit to branch master > in repository guix. > > commit a15cee50cebddc665a16b455f44e22dcfb87d57f > Author: Carl Dong > Date: Wed May 29 18:04:43 2019 +0200 > > gnu: Use make-linux-libre-headers. > > *

Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-29 Thread Danny Milosavljevic
Grub already can search by uuid or label (via "search --fsuuid" and "search --label", respectively). IF you specify an uuid or label in your operating-system configuration it will use that. The only part missing is: The Guix installer's config generator should find out the uuids and print those

Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-29 Thread Giovanni Biscuolo
Hello Tobias and Ludo' I've opened a bug report for this, WDYT if we go on there? Tobias Geerinckx-Rice writes: > Ludovic Courtès wrote: >> Ideally, we’d use an actual UUID object (or a string?) here >> rather than >> this Linux/udev-specific idiom. […] >> I believe using Guile-Parted we

Re: X/GDM fails on linux 5.0.7 AMD Radeon RX 580 after system reconfigure

2019-05-29 Thread Pierre Neidhardt
After a `guix package -m manifest.scm`, everything seems to be fine. I guess one of the programs I was using was still depending on llvm 6. Problem solved! -- Pierre Neidhardt https://ambrevar.xyz/ signature.asc Description: PGP signature

Re: Packaging Grisbi

2019-05-29 Thread Tanguy Le Carrour
Dear Timothy, dear Guix Sorry it took me soo long to answer! Le 05/13, Tanguy Le Carrour a écrit : > Le 05/12, Timothy Sample a écrit : > > Tanguy Le Carrour writes: > > > I get the following error message: > > > > > > ``` > > > failed to commit changes to dconf: > > >

Building vdirsyncer.drv fails randomly (problem with Hypothesis test framework)

2019-05-29 Thread Tanguy Le Carrour
Dear Guix, When I run `guix package -i vdirsyncer` or `guix package -u` (if vdirsyncer is in my profile), it randomly fails. This has happened to me several times already. Here is a part of the log: = test session starts == platform linux

Re: Digimend kernel drivers for Guix

2019-05-29 Thread Tobias Geerinckx-Rice
Andreas, Andreas Enge wrote: you do not like false things, do you? The past election week has been hell for me. Thanks, T G-R signature.asc Description: PGP signature

Re: Crosscompiling C++ for powerpc64le fails

2019-05-29 Thread Danny Milosavljevic
I've investigated a bit more: Guix's gcc-4.7 passes (string-append "--with-native-system-header-dir=" libc "/include") where libc is (assoc-ref %build-inputs "libc") . However, further down, there is `(let* ((libc(assoc-ref %build-inputs "libc"))

Re: Digimend kernel drivers for Guix

2019-05-29 Thread Andreas Enge
Hello Tobias, you do not like false things, do you? On Tue, May 28, 2019 at 08:33:29PM +0200, Tobias Geerinckx-Rice wrote: > Tobias Geerinckx-Rice wrote: > > However, in this case, please use the even simpler: > > (arguments > > '(#:tests?)); no test suite > >

Re: Guix 1.0.0 on VirtualBox on Ubuntu 16.04

2019-05-29 Thread Peter Faller
Much better results with Guix-1.0.1 - although the default 8Gb disk was too small at first. Using a 16Gb VirtualBox VDI allowed successful installation, and I now have a running system. Thanks to all the contributors! On Sat, 4 May 2019 at 17:39, Laura Lazzati wrote: > Hi Peter! > > > On Sat,