diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-01-23 05:53:48 +0000 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-01-23 05:53:48 +0000 |
commit | 1a0350c6f5765858f4389972116fe7cfabdfc520 (patch) | |
tree | 49a0354a1991a5a1cb59927dd6f1c32865d3e19f /docs/gnulinux/grub_boot_installer.html | |
parent | 03d4d55792913fe130cf2fe140288b7f7b1b8f26 (diff) | |
download | librebootfr-1a0350c6f5765858f4389972116fe7cfabdfc520.tar.gz librebootfr-1a0350c6f5765858f4389972116fe7cfabdfc520.zip |
Documentation (grub_boot_installer.html): how to boot Guix
Diffstat (limited to 'docs/gnulinux/grub_boot_installer.html')
-rw-r--r-- | docs/gnulinux/grub_boot_installer.html | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html index 68536801..a25247b0 100644 --- a/docs/gnulinux/grub_boot_installer.html +++ b/docs/gnulinux/grub_boot_installer.html @@ -38,8 +38,19 @@ <b>$ sudo dd if=gnulinux.iso of=/dev/sdb bs=8M; sync</b><br/> <b># dd if=gnulinux.iso of=/dev/sdb bs=8M; sync</b> </p> + + <h2>Guix GNU/Linux?</h2> - <h2>Booting the USB drive (in GRUB)</h2> + <p> + Guix USB installers use the GRUB bootloader, unlike most GNU/Linux installers which will likely use ISOLINUX. + </p> + <p> + To boot the Guix live USB install, select <b><i>Search for GRUB configuration (grub.cfg) outside of CBFS</i></b> from + the GRUB payload menu. After you have done that, a near menuentry will appear at the very bottom with text like + <b><i>Load Config from (usb0)</i></b>; select that, and it should boot. + </p> + + <h2>Booting ISOLINUX images (in GRUB)</h2> <p> Boot it in GRUB using the <i>Parse ISOLINUX config (USB)</i> option (it's in default libreboot grub.cfg, at least). @@ -49,7 +60,7 @@ </p> <p> - If the ISOLINUX parser won't work, then press C to get to GRUB command line.<br/> + If the ISOLINUX parser or <i>Search for GRUB configuration</i> options won't work, then press C to get to GRUB command line.<br/> grub> <b>ls</b><br/> Get the device from above output, eg (usb0). Example:<br/> |