Re: Seeding the Linux RNG at first boot

2017-12-11 Thread Ludovic Courtès
Leo Famulari skribis: > On Thu, Dec 07, 2017 at 10:07:38PM +0100, Ludovic Courtès wrote: >> Leo Famulari skribis: >> > On the guest side, we would extend urandom-seed-service to also draw on >> > /dev/hwrng, which is where virtio-rng-pci makes the data from the host >> > available. >> >> Maybe

Re: Iso image size

2017-12-11 Thread Ludovic Courtès
Hello, Gábor Boskovits skribis: > I don't know what we are currently doing to get the installer iso image > sized down, but I caught some discussion yesterday on irc, that the image > is actually very well compressible, and checking the sizes it really is. > > Might that be possible to do someth

Reproducible installation images

2017-12-11 Thread Ludovic Courtès
Hi Mark, Mark H Weaver skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> Here are the bootable USB installation images and their signatures[*]: >> https://alpha.gnu.org/gnu/guix/guixsd-install-0.14.0.i686-linux.iso.xz >> >> https://alpha.gnu.org/gnu/guix/guixsd-install-0.14.0.i68

Re: 03/03: gnu: libinput: Update to 1.9.3.

2017-12-11 Thread Ludovic Courtès
Hi, Efraim Flashner skribis: > On Fri, Dec 08, 2017 at 08:36:27PM -0500, Mark H Weaver wrote: >> efr...@flashner.co.il (Efraim Flashner) writes: >> >> > efraim pushed a commit to branch master >> > in repository guix. >> > >> > commit 5f5083749c1ff2731e84fa7d8eea182ad45c18a5 >> > Author: Efraim

Re: Reproducible installation images

2017-12-11 Thread ng0
Ludovic Courtès transcribed 2.6K bytes: > Hi Mark, > > Mark H Weaver skribis: > > > l...@gnu.org (Ludovic Courtès) writes: > > > >> Here are the bootable USB installation images and their signatures[*]: > >> https://alpha.gnu.org/gnu/guix/guixsd-install-0.14.0.i686-linux.iso.xz > >> >

Re: Dualbooting with guixsd not handling grub installation

2017-12-11 Thread Ludovic Courtès
Hello, Mathieu Othacehe skribis: >>> This could be done by adding a cli argument for reconfigure or allowing >>> an empty string in (grub-configuration (target "")). >>> >>> WDYT? >>> > > An already available option would be to override the grub-installer like > this : > > (define no-op-installe

Problems updating guix to 0.14.0 using guix pull.

2017-12-11 Thread Hartmut Goebel
Hi, I try updating guix to 0.14.0 using guix pull. This fails # guix --version guix (GNU Guix) 20170924.19 # guix pull … error-message suggesting to run guix package -i guile-git # guix package -i guile-git … done # … set environment variables # guix pull … Updating from Git repository at 'https:

Problems updating guix to 0.14.0 using guix pull (solved)

2017-12-11 Thread Hartmut Goebel
Hi, Sorry, I just sent the message unfinished, here is the complete one. When I tried to reproduce this problem, it was gone. Fine for me :-) but no problem report any more :-( -- Regards Hartmut Goebel | Hartmut Goebel | h.goe...@crazy-compilers.com | | www.crazy-compi

Needs enhancement: "is my guix current?"

2017-12-11 Thread Hartmut Goebel
Hi, on my effort to solve the problems when updating to guix 0.14.0, I stepped over this simple question: Is the installed guix the current one, resp. the current one my guix knows of? Is there anyway to find out whether 20170924.19 or 0.13.0-6.a9468b4 is newer? guix installed:     # guix --ver

Re: Reproducible installation images

2017-12-11 Thread Ludovic Courtès
ng0 skribis: > Ludovic Courtès transcribed 2.6K bytes: [...] >> However, disk images are likely not bit-reproducible currently, >> primarily due to non-determinism in how file systems populate the disk. >> >> They might be reproducible if ‘guix system’ always creates files in the >> same order

Re: Needs enhancement: "is my guix current?"

2017-12-11 Thread Ludovic Courtès
Hi, Hartmut Goebel skribis: > Is the installed guix the current one, resp. the current one my guix > knows of? Is there anyway to find out whether 20170924.19 or > 0.13.0-6.a9468b4 is newer? > > guix installed: > >     # guix --version >     guix (GNU Guix) 20170924.19 Nowadays a Git commit is

Re: FOSDEM 2018 and announcing a GNU Guix/Guile day!

2017-12-11 Thread Mark Meyer
Hi Manolis, I'll be in Brussels for FOSDEM and will join you :) Cheers, Mark On Tue, Dec 5, 2017, at 18:59, Manolis Ragkousis wrote: > Hello everyone, > > We now have a wiki page for our FOSDEM GNU Guix/Guile day. [1] > > If you are going to attend please add your name to the wiki, or just > re

Re: Seeding the Linux RNG at first boot

2017-12-11 Thread Leo Famulari
On Mon, Dec 11, 2017 at 10:16:42AM +0100, Ludovic Courtès wrote: > Leo Famulari skribis: > > At the same time we handle the random seed, we could also try reading > > from /dev/hwrng and, if the read is successful, copy some bytes into > > /dev/urandom. We'd have to try reading and handle failure

Re: FOSDEM 2018 and announcing a GNU Guix/Guile day!

2017-12-11 Thread ng0
Pjotr Prins transcribed 1.0K bytes: > We are hosting a GNU Guix and Guile day on Friday before FOSDEM (that > is Feb 2nd.). We have a large room for 40 people at http://icab.be/ > for the whole day. In the morning we'll have talks - and in the > afternoon it is free discussion and hacking. > > Wr

Re: Guix - installation script

2017-12-11 Thread myglc2
On 10/02/2017 at 09:15 Pjotr Prins writes: > A script that would install the binary install package of Guix would > be very useful. It should unpack the tarball into /gnu/store and > /var/guix (checking nothing is there), set the keys and (optionally) > the build users. Ideally we should have: > >

Re: Reproducible installation images

2017-12-11 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: > Mark H Weaver skribis: > >> l...@gnu.org (Ludovic Courtès) writes: >> >>> Here are the bootable USB installation images and their signatures[*]: >>> https://alpha.gnu.org/gnu/guix/guixsd-install-0.14.0.i686-linux.iso.xz >>> >>> https://alpha.gnu