GNU bug report logs - #26551
[PATCH] doc: Replace --no-grub by --no-bootloader.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 26551 in the body.
You can then email your comments to 26551 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Mathieu Othacehe <m.othacehe <at> gmail.com>
To: guix-patches <at> gnu.org
Cc: Mathieu Othacehe <m.othacehe <at> gmail.com>
Subject: [PATCH] doc: Replace --no-grub by --no-bootloader.
Date: Tue, 18 Apr 2017 11:25:53 +0200

* doc/guix.texi: Replace all references to "--no-grub" by
  "--no-bootloader".
---

Hi Guix,

Here's a follow up of patch a9eadc06ac57846aaa8fdeb550b32e44f59c9437.
I'm not sure whether or not I shall mention that --no-grub still exists
for compatibility reasons.

Thanks,

Mathieu

 doc/guix.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 810139dbc..fd3483ee5 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
-- 
2.12.2

Message #10 received at 26551-done <at> debbugs.gnu.org (full text, mbox):

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Mathieu Othacehe <m.othacehe <at> gmail.com>
Cc: 26551-done <at> debbugs.gnu.org
Subject: Re: bug#26551: [PATCH] doc: Replace --no-grub by --no-bootloader.
Date: Sat, 22 Apr 2017 23:15:57 +0200

Mathieu Othacehe <m.othacehe <at> gmail.com> writes:

> * doc/guix.texi: Replace all references to "--no-grub" by
>   "--no-bootloader".
> ---

This was pushed with commit f8818360d5c185543b4bd1ad1c3c3ad7191af0c4.

Thanks!

-- 
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.