diff options
| author | Leah Rowe <info@minifree.org> | 2016-10-12 19:03:59 +0100 |
|---|---|---|
| committer | Leah Rowe <info@minifree.org> | 2016-10-12 19:03:59 +0100 |
| commit | b887d53b2978be3395c2ee33c7564df5c5a96b12 (patch) | |
| tree | f1f06d2ce46426d0d1620db6237d095c1e112180 /docs/gnulinux/grub_boot_installer.html | |
| parent | 1ee153d37b897802f4315dd2b3d1835adda609f3 (diff) | |
| download | librebootfr-b887d53b2978be3395c2ee33c7564df5c5a96b12.tar.gz librebootfr-b887d53b2978be3395c2ee33c7564df5c5a96b12.zip | |
docs/gnulinux/grub_boot_installer: add instructions for installing Debian
Diffstat (limited to 'docs/gnulinux/grub_boot_installer.html')
| -rw-r--r-- | docs/gnulinux/grub_boot_installer.html | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html index f2cdfb47..4c26432e 100644 --- a/docs/gnulinux/grub_boot_installer.html +++ b/docs/gnulinux/grub_boot_installer.html @@ -94,11 +94,22 @@ <h2>Debian net install?</h2> <p> - Tip: don't use the official net install image. Download the full GNOME ISO (the ~1.5GiB one). - In this ISO, there is still the capability to boot the net install, while it also provides - an easy to use live system (which you can boot from USB). This ISO also works using - <i>syslinux_configfile -i</i> (the <i>Parse ISOLINUX</i> menu entries in the default - GRUB configuration that libreboot uses). + Download the Debian net installer. You can download the ISO from the homepage on + <a href="https://www.debian.org/">debian.org</a>. + Use this on the GRUB terminal to boot it from USB (for 64-bit Intel or AMD):<br/> + <strong> + set root='usb0'<br/> + linux /install.amd/vmlinuz<br/> + initrd /install.amd/initrd.gz<br/> + boot<br/> + </strong> + If you are on a 32-bit system (e.g. X60):<br/> + <strong> + set root='usb0'<br/> + linux /install.386/vmlinuz<br/> + initrd /install.386/initrd.gz<br/> + boot + </strong> </p> <p> |