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 /doc/guix.texi | |
| 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 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 4c32df3c9f..917be1fc4d 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -3224,6 +3224,9 @@ files, packages, and so on. It also creates other essential files needed for the system to operate correctly---e.g., the @file{/etc}, @file{/var}, and @file{/run} directories, and the @file{/bin/sh} file. +This command also installs GRUB on the device specified in +@file{my-os-config}, unless the @option{--no-grub} option was passed. + @item vm @cindex virtual machine Build a virtual machine that contain the operating system declared in |