summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMathieu Othacehe <m.othacehe@gmail.com>2017-04-18 11:25:53 +0200
committerDanny Milosavljevic <dannym@scratchpost.org>2017-04-18 16:35:28 +0200
commitf8818360d5c185543b4bd1ad1c3c3ad7191af0c4 (patch)
tree14ff692b07365a1b014903b16eb7e2029e9d22c3 /doc
parent7f412f335d93ce8bdc12fb90230be627905b6fdb (diff)
doc: Replace --no-grub by --no-bootloader.
Fixes <http://bugs.gnu.org/26551>. Followup to a9eadc06ac57846aaa8fdeb550b32e44f59c9437. * doc/guix.texi: Replace all references to "--no-grub" by "--no-bootloader". Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 810139dbc1..fd3483ee5d 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -7413,7 +7413,7 @@ guix system init /mnt/etc/config.scm /mnt
@noindent
This copies all the necessary files and installs GRUB on
-@file{/dev/sdX}, unless you pass the @option{--no-grub} option. For
+@file{/dev/sdX}, unless you pass the @option{--no-bootloader} option. For
more information, @pxref{Invoking guix system}. This command may trigger
downloads or builds of missing packages, which can take some time.
@@ -15094,7 +15094,7 @@ overwritten. This behavior mirrors that of @command{guix package}
It also adds a GRUB menu entry for the new OS configuration, and moves
entries for older configurations to a submenu---unless
-@option{--no-grub} is passed.
+@option{--no-bootloader} is passed.
@quotation Note
@c The paragraph below refers to the problem discussed at
@@ -15174,7 +15174,7 @@ needed for the system to operate correctly---e.g., the @file{/etc},
@file{/var}, and @file{/run} directories, and the @file{/bin/sh} file.
This command also installs GRUB on the device specified in
-@file{my-os-config}, unless the @option{--no-grub} option was passed.
+@file{my-os-config}, unless the @option{--no-bootloader} option was passed.
@item vm
@cindex virtual machine