guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#26339: [PATCH 14/18] scripts: system: Rename grub? and install-grub?

From: Danny Milosavljevic
Subject: bug#26339: [PATCH 14/18] scripts: system: Rename grub? and install-grub? to bootloader? and install-bootloader?.
Date: Sat, 15 Apr 2017 15:25:15 +0200 
Pushed a variant of this as e61519ab9c26b2309c84b65456c4ee5cd4d2c163 to master.

Changes are:
- Still use grub-configuration-device instead of 
bootloader-configuration-device (in order to make it apply independently).
- Still use "--no-grub" command line option.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]