diff options
| author | Andrew Robbins <andrew@libreboot.org> | 2018-04-30 00:23:43 +0000 |
|---|---|---|
| committer | Gogs <gogitservice@gmail.com> | 2018-04-30 00:23:43 +0000 |
| commit | 48712ec656f5a8a7473d47eda95e69eae3bdd74d (patch) | |
| tree | ff6f6fbf28be4a78c8cf80e02cad12b5264740ce /docs/gnulinux | |
| parent | 08b4c730cb76d0c1e4d994b2a2627401127ec713 (diff) | |
| parent | 1744d698983ad47623b5904c83e0171d4f68cd04 (diff) | |
| download | librebootfr-48712ec656f5a8a7473d47eda95e69eae3bdd74d.tar.gz librebootfr-48712ec656f5a8a7473d47eda95e69eae3bdd74d.zip | |
Merge branch 'docs/gnulinux/fix-debian-instructions' of libreboot/libreboot into master
Diffstat (limited to 'docs/gnulinux')
| -rw-r--r-- | docs/gnulinux/grub_boot_installer.md | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/docs/gnulinux/grub_boot_installer.md b/docs/gnulinux/grub_boot_installer.md index 085ad34b..7086b71d 100644 --- a/docs/gnulinux/grub_boot_installer.md +++ b/docs/gnulinux/grub_boot_installer.md @@ -53,18 +53,23 @@ Make sure that the device isn't mounted, with `doas`; if it is, this command wil That's it! You should now be able to boot the installer from your USB drive (the instructions for doing so will be given later). ## Debian or Devuan net install -1. Download the Debian or Devuan net installer. You can download the Debian ISO from [the Debian homepage](https://www.debian.org/), or the Devuan ISO from [the Devuan homepage](https://www.devuan.org/). +Download the Debian or Devuan net installer. You can download the Debian ISO +from [the Debian homepage](https://www.debian.org/), or the Devuan ISO from +[the Devuan homepage](https://www.devuan.org/). -2. Create a bootable USB, using the commands in *Prepare the USB Drive in GNU+Linux*, above. +Secondly, create a bootable USB drive using the commands in +[#prepare-the-usb-drive-in-gnulinux](#prepare-the-usb-drive-in-gnulinux). -3. Boot the USB, and enter these commands in the GRUB terminal (for 64-bit Intel or AMD): +Thirdly, boot the USB and enter these commands in the GRUB terminal +(for 64-bit Intel or AMD): grub> set root='usb0' grub> linux /install.amd/vmlinuz grub> initrd /install.amd/initrd.gz grub> boot -4. If you are on a 32-bit system (e.g. some Thinkpad X60's), you will need to use these commands: +If you are on a 32-bit system (e.g. some Thinkpad X60's) then you will need to +use these commands instead: grub> set root='usb0' grub> linux /install.386/vmlinuz |