* booting from usb
@ 2019-05-14 18:01 Perez, Luis
2019-05-15 0:55 ` rendaw
2019-05-15 3:18 ` Raghav Gururajan
0 siblings, 2 replies; 3+ messages in thread
From: Perez, Luis @ 2019-05-14 18:01 UTC (permalink / raw)
To: help-guix
Hi,
I'm trying to boot GUIX. I've copied GUIX on to my usb, but I have not been
able to boot it sucessfully. According to the instructions I need to access
the BIOS to do this. I've read that is done by pressing one of the F keys
on startup. However, my laptop has been librebooted so I don't think this
is possible.
For arch, at least, all I had to do was copy arch to my usb and use the
grub prompt to boot from the usb. It seemed to me that it should be the
same for GUIX but when I try this I'm just taken back to the initial prompt
that asks me what I want to boot from.
I'd really appreciate any troubleshooting help.
L
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: booting from usb
2019-05-14 18:01 booting from usb Perez, Luis
@ 2019-05-15 0:55 ` rendaw
2019-05-15 3:18 ` Raghav Gururajan
1 sibling, 0 replies; 3+ messages in thread
From: rendaw @ 2019-05-15 0:55 UTC (permalink / raw)
To: help-guix
On 5/15/19 3:01 AM, Perez, Luis wrote:
> Hi,
>
> I'm trying to boot GUIX. I've copied GUIX on to my usb, but I have not been
> able to boot it sucessfully. According to the instructions I need to access
> the BIOS to do this. I've read that is done by pressing one of the F keys
> on startup. However, my laptop has been librebooted so I don't think this
> is possible.
>
> For arch, at least, all I had to do was copy arch to my usb and use the
> grub prompt to boot from the usb. It seemed to me that it should be the
> same for GUIX but when I try this I'm just taken back to the initial prompt
> that asks me what I want to boot from.
>
> I'd really appreciate any troubleshooting help.
>
> L
How did you copy Guix onto the USB drive?
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: booting from usb
2019-05-14 18:01 booting from usb Perez, Luis
2019-05-15 0:55 ` rendaw
@ 2019-05-15 3:18 ` Raghav Gururajan
1 sibling, 0 replies; 3+ messages in thread
From: Raghav Gururajan @ 2019-05-15 3:18 UTC (permalink / raw)
To: rendaw, help-guix
>> I'm trying to boot GUIX. I've copied GUIX on to my usb, but I have not been
>> able to boot it sucessfully. According to the instructions I need to access
>> the BIOS to do this. I've read that is done by pressing one of the F keys
>> on startup. However, my laptop has been librebooted so I don't think this
>> is possible.
>>
>> For arch, at least, all I had to do was copy arch to my usb and use the
>> grub prompt to boot from the usb. It seemed to me that it should be the
>> same for GUIX but when I try this I'm just taken back to the initial prompt
>> that asks me what I want to boot from.
>>
>> I'd really appreciate any troubleshooting help.
>>
>> L
Hello!
First, make sure you have copied guix installer using proper methods like "dd", as mentioned in guix manual.
Second, on reboot, as soon as you see the Libreboot Graphic Art, press arrow keys to
change the menu entry. Then choose “Search for GRUB2 configuration on external media [s]” and wait for the
Guix System from USB drive to load.
Regards,
RG.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2019-05-15 3:19 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2019-05-14 18:01 booting from usb Perez, Luis
2019-05-15 0:55 ` rendaw
2019-05-15 3:18 ` Raghav Gururajan
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).