diff options
| author | Mathieu Othacehe | 2017-04-17 11:01:39 +0200 |
|---|---|---|
| committer | Danny Milosavljevic | 2017-04-17 17:41:54 +0200 |
| commit | a9eadc06ac57846aaa8fdeb550b32e44f59c9437 (patch) | |
| tree | 343a9c0fdb7ff02e49c871bef967a75f19139909 /gnu/packages | |
| parent | e5f0563d5d2cee21cd05b681e940af920f7ef979 (diff) | |
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/packages')
0 files changed, 0 insertions, 0 deletions