diff options
| author | Mathieu Othacehe <m.othacehe@gmail.com> | 2017-04-15 15:22:47 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-15 15:22:47 +0200 |
| commit | e61519ab9c26b2309c84b65456c4ee5cd4d2c163 (patch) | |
| tree | 190eb5ff5e6471c6efc4dd2182dcf918311502b7 /gnu/system | |
| parent | 7085ca9690f6b3838ae3dc0f832c30e41681e835 (diff) | |
| download | patches-e61519ab9c26b2309c84b65456c4ee5cd4d2c163.tar patches-e61519ab9c26b2309c84b65456c4ee5cd4d2c163.tar.gz | |
scripts: system: Rename grub? and install-grub? to bootloader? and install-bootloader?.
* guix/scripts/system.scm (perform-action): Rename grub? to bootloader,
(%options): rename install-grub? to install-bootloader?,
(%default-options): ditto,
(process-action): reindent and rename grub? to bootloader?.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions