summaryrefslogtreecommitdiffstats
path: root/docs/gnulinux
diff options
context:
space:
mode:
Diffstat (limited to 'docs/gnulinux')
-rw-r--r--docs/gnulinux/grub_boot_installer.html13
1 files changed, 6 insertions, 7 deletions
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index b26b8e8..a6b738b 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? (or NixOS?)</a></li>
+ <li><a href="#guix">GNU Guix System Distribution?</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,26 +84,25 @@
<div id="guix" class="section">
- <h2>GNU Guix System Distribution? (or NixOS?)</h2>
+ <h2>GNU Guix System Distribution?</h2>
<p>
- Guix and NixOS USB installers use the GRUB bootloader, unlike most GNU/Linux installers which will likely use ISOLINUX.
+ The Guix installers uses the GRUB bootloader, unlike most GNU/Linux installers which will likely use ISOLINUX.
</p>
<p>
- To boot the Guix or NixOS live USB install, select <b><i>Search for GRUB configuration (grub.cfg) outside of CBFS</i></b> from
+ To boot the Guix 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 or NixOS onto the main storage device, check
+ Once you have installed Guix onto the main storage device, check
<a href="grub_cbfs.html#option1_dont_reflash">grub_cbfs.html#option1_dont_reflash</a> for hints on how
to boot it.
</p>
<p>
<i>Using GuixSD (Guix System Distribution) is recommended; it's part of GNU, and
- <a href="https://www.gnu.org/distros/free-distros.html">endorsed</a> by the Free Software Foundation,
- while being partly based on NixOS and containing some improvements over it.</i>
+ <a href="https://www.gnu.org/distros/free-distros.html">endorsed</a>.</i>
</p>
<p>