diff options
author | Mathieu Othacehe <m.othacehe@gmail.com> | 2017-04-17 11:01:39 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-17 17:41:54 +0200 |
commit | a9eadc06ac57846aaa8fdeb550b32e44f59c9437 (patch) | |
tree | 343a9c0fdb7ff02e49c871bef967a75f19139909 /gnu | |
parent | e5f0563d5d2cee21cd05b681e940af920f7ef979 (diff) | |
download | guix-patches-a9eadc06ac57846aaa8fdeb550b32e44f59c9437.tar guix-patches-a9eadc06ac57846aaa8fdeb550b32e44f59c9437.tar.gz |
scripts: system: Rename --no-grub option to --no-bootloader.
* guix/scripts/system.scm (%options, show-help): Adjust accordingly.
Keep "--no-grub" for compatibility reasons, but do not mention it in the help.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions