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 /THANKS | |
| parent | e38e18ff010e53a788cec30f25ee3d59341b0708 (diff) | |
| download | 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 'THANKS')
0 files changed, 0 insertions, 0 deletions