aboutsummaryrefslogtreecommitdiff
path: root/docs/gnulinux
diff options
context:
space:
mode:
authorLeah Rowe <info@minifree.org>2018-04-28 20:12:18 +0100
committerLeah Rowe <info@minifree.org>2018-04-28 20:12:18 +0100
commit1744d698983ad47623b5904c83e0171d4f68cd04 (patch)
treeff6f6fbf28be4a78c8cf80e02cad12b5264740ce /docs/gnulinux
parent08b4c730cb76d0c1e4d994b2a2627401127ec713 (diff)
downloadlibrebootfr-1744d698983ad47623b5904c83e0171d4f68cd04.tar.gz
librebootfr-1744d698983ad47623b5904c83e0171d4f68cd04.zip
docs/gnulinux: fix the debian instructions (grub commands were b0rked)
Diffstat (limited to 'docs/gnulinux')
-rw-r--r--docs/gnulinux/grub_boot_installer.md13
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