diff options
author | Mathieu Othacehe <m.othacehe@gmail.com> | 2017-04-18 11:25:53 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-18 16:35:28 +0200 |
commit | f8818360d5c185543b4bd1ad1c3c3ad7191af0c4 (patch) | |
tree | 14ff692b07365a1b014903b16eb7e2029e9d22c3 /doc | |
parent | 7f412f335d93ce8bdc12fb90230be627905b6fdb (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.texi | 6 |
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 |