From ffb21d328035402643a9941dd59968e4139f67eb Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Thu, 4 Jun 2015 10:53:17 +0100 Subject: docs/gnulinux/grub_boot_instal*.html: Add index, improve usability --- docs/gnulinux/grub_boot_installer.html | 31 ++++++++++++++++++++++--------- 1 file changed, 22 insertions(+), 9 deletions(-) (limited to 'docs/gnulinux') diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html index 9ff3dd2b..2870e013 100644 --- a/docs/gnulinux/grub_boot_installer.html +++ b/docs/gnulinux/grub_boot_installer.html @@ -14,12 +14,25 @@

Boot a GNU/Linux installer on USB

+

+ This section relates to preparing, booting and installing a + GNU/Linux distribution, using nothing more than a USB flash drive. +

+

Back to previous index

-
+

Prepare the USB drive (in GNU/Linux)

@@ -45,7 +58,7 @@
-
+

Installing GNU/Linux with full disk encryption

@@ -56,7 +69,7 @@
-
+

GNU Guix System Distribution?

@@ -76,7 +89,7 @@
-
+

Trisquel net install?

@@ -90,9 +103,9 @@
-
+
-

Booting ISOLINUX images

+

Booting ISOLINUX images (automatic method)

Boot it in GRUB using the Parse ISOLINUX config (USB) option. @@ -103,9 +116,9 @@

-
+
-

Booting manually

+

Booting ISOLINUX images (manual method)

If the ISOLINUX parser or Search for GRUB configuration options won't work, then press C to get to the GRUB command line.
@@ -140,7 +153,7 @@

-
+

Troubleshooting

-- cgit v1.2.3-70-g09d2