[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#26339: [PATCH 03/18] scripts: system: Rename --no-grub option to --n
From: |
Danny Milosavljevic |
Subject: |
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.
bug#26339: [PATCH 12/18] system: Rename grub-device to fs->boot-device., Mathieu Othacehe, 2017/04/02