aboutsummaryrefslogtreecommitdiff
path: root/docs/gnulinux
diff options
context:
space:
mode:
Diffstat (limited to 'docs/gnulinux')
-rw-r--r--docs/gnulinux/grub_boot_installer.html10
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index 9605e709..4511361c 100644
--- a/docs/gnulinux/grub_boot_installer.html
+++ b/docs/gnulinux/grub_boot_installer.html
@@ -21,7 +21,7 @@
<ul>
<li><a href="#prepare">Prepare the USB drive (in GNU/Linux)</a></li>
<li><a href="#encryption">Installing GNU/Linux with full disk encryption</a></li>
- <li><a href="#guix">GNU Guix System Distribution?</a></li>
+ <li><a href="#guix">GNU Guix System Distribution? (or NixOS?)</a></li>
<li><a href="#trisquel_netinstall">Trisquel net install?</a></li>
<li><a href="#parse_isolinux">Booting ISOLINUX images (automatic method)</a></li>
<li><a href="#manual_isolinux">Booting ISOLINUX images (manual method)</a></li>
@@ -84,18 +84,18 @@
<div id="guix" class="section">
- <h2>GNU Guix System Distribution?</h2>
+ <h2>GNU Guix System Distribution? (or NixOS?)</h2>
<p>
- Guix USB installers use the GRUB bootloader, unlike most GNU/Linux installers which will likely use ISOLINUX.
+ Guix and NixOS 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
+ To boot the Guix or NixOS 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 new 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>
<p>
- Once you have installed Guix onto the main storage device, check
+ Once you have installed Guix or NixOS onto the main storage device, check
<a href="grub_cbfs.html#libreboot_grub_config_ondisk">grub_cbfs.html#libreboot_grub_config_ondisk</a> for hints on how
to boot it.
</p>