GNU bug report logs - #26339
[PATCH 00/18] wip: Support non grub bootloaders.

Previous Next

Package: guix-patches;

Reported by: Mathieu Othacehe <m.othacehe <at> gmail.com>

Date: Sun, 2 Apr 2017 13:51:01 UTC

Severity: important

Tags: patch

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

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 26339 <at> debbugs.gnu.org, Mathieu Othacehe <m.othacehe <at> gmail.com>
Subject: bug#26339: [PATCH 03/18] scripts: system: Rename --no-grub option to --no-bootloader.
Date: Sun, 16 Apr 2017 11:58:27 +0200

Danny Milosavljevic <dannym <at> scratchpost.org> skribis:

> Hi,
>
>> -         (option '("no-grub") #f #f
>> +         (option '("no-bootloader") #f #f
>
> I'd prefer if it accepted both options - for backward compatibility.  We don't know what scripts people use on top of guix - and it's likely that many user scripts already pass "--no-grub", especially since the less-dangerous choice is to pass it (as opposed to not pass it).  There is no harm in supporting both options.

Agreed.  So:

  (option '("no-bootloader" "no-grub") …)

Ludo’.
This bug report was last modified 7 years and 209 days ago.

Previous Next

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