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

Previous Next

Full log

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

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: Mathieu Othacehe <m.othacehe <at> gmail.com>
Cc: 26339 <at> debbugs.gnu.org
Subject: Re: bug#26339: [PATCH 03/18] scripts: system: Rename --no-grub
 option to --no-bootloader.
Date: Sat, 15 Apr 2017 12:10:00 +0200

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.

Previous Next

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