Re: Unable to boot GuixSD USB stick

2017-04-10 Thread 良ϖ
: I've put Ubuntu on the same stick and it works fine. On 10/04/2017, Thomas Danckaert wrote: > From: 良ϖ > Subject: Unable to boot GuixSD USB stick > Date: Sun, 9 Apr 2017 18:46:18 + > >> However when I reboot the key isn't recognised by my laptop so I'

Re: Unable to boot GuixSD USB stick

2017-04-10 Thread Thomas Danckaert
From: 良ϖ Subject: Unable to boot GuixSD USB stick Date: Sun, 9 Apr 2017 18:46:18 + However when I reboot the key isn't recognised by my laptop so I'm unable to install it :'( Any ideas how I could solve that? Maybe one thing to try is calling 'sync' after the

Re: Unable to boot GuixSD USB stick

2017-04-10 Thread 良ϖ
For the record, perhaps it would be useful to others in the same situation to be hinted to read what's in grub.cfg: it contains the reference to boot file and boot prompt (see the menu entry). Using these references I was able to complete a boot. Don't forget to include all options in the "linux …

Re: Unable to boot GuixSD USB stick

2017-04-10 Thread 良ϖ
I've got some new stuff: Using Grub2 command line I am able to invoke `ls` to see all available device / partitions and guixsd bootable partition is present as (hd0,msdos1). So I want to boot Linux manually from Grub2 command line. set root=(hd0,msdos1) Next steps are to set boot files and boot

Unable to boot GuixSD USB stick

2017-04-09 Thread 良ϖ
Hi, I've followed instructions on this page: https://www.gnu.org/software/guix/manual/html_node/USB-Stick-Installation.html#USB-Stick-Installation everything goes smoothly and at the end I get a partition named "gnu-disk-image" with flag "boot". Sounds good. When I mount it it's a classical GNU /