diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-05-19 22:36:15 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-05-19 23:52:39 +0200 |
| commit | c79d54fe41b0a85c76b11ab2643895de2823d477 (patch) | |
| tree | ea3a093b139d3bde632a798c73e308606741fdca /po | |
| parent | e38e18ff010e53a788cec30f25ee3d59341b0708 (diff) | |
| download | guix-c79d54fe41b0a85c76b11ab2643895de2823d477.tar guix-c79d54fe41b0a85c76b11ab2643895de2823d477.tar.gz | |
guix system: 'guix system init' installs GRUB by default.
* guix/scripts/system.scm (install): Add #:grub?, #:grub.cfg, and
#:device parameters; honor them.
(show-help): Document '--no-grub'.
(%options): Add '--no-grub'.
(%default-options): Add 'install-grub?'.
(guix-system): Honor 'install-grub?' option from OPTS. Adjust
'install' call accordingly.
* doc/guix.texi (Invoking guix system): Document '--no-grub'.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions