bug#26339: [PATCH 03/18] scripts: system: Rename --no-grub option to --no-bootloader.

[Ludovic Courtès]

Danny Milosavljevic <address@hidden> 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’.