bug#20497: GuixSD installation - Build of system.drv failed

2015-05-16 Thread Ludovic Courtès
l...@gnu.org (Ludovic Courtès) skribis: > Besides, note that 0.8.2 will hopefully be released within two weeks. It was just released, if you want to give it another try: http://www.gnu.org/software/guix/ Ludo’.

bug#20591: GRUB background image doesn't show up after initial install

2015-05-16 Thread Ludovic Courtès
Daniel Pimentel writes: After install GuixSD 0.8.2, the Grub image (the GuixSd wallpaper, it's amazing) not appear. I need to update system (guix pull; guix system reconfigure /etc/config.scm) (See .) Ludo’.

bug#20582: GuixSD ver 0.8.2, DHCLIENT not setting up the network.

2015-05-16 Thread Ludovic Courtès
Scott McDonough skribis: > Success! > Thank you very much for your quick response. Great. > Who is the person who maintains the Reference Manual. It is “us,” you included. ;-) > I could forward this email to them. > These extra clarifications were very useful. Sure. A patch against the doc

bug#20582: GuixSD ver 0.8.2, DHCLIENT not setting up the network.

2015-05-16 Thread Scott McDonough
Success! Thank you very much for your quick response. Who is the person who maintains the Reference Manual. I could forward this email to them. These extra clarifications were very useful. Scott On 05/15/2015 09:54 AM, Ludovic Courtès wrote: 宋文武 skribis: 2015-05-15 11:15 GMT+08:00 Scott McD