aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-05-19 22:36:15 +0200
committerLudovic Courtès <ludo@gnu.org>2014-05-19 23:52:39 +0200
commitc79d54fe41b0a85c76b11ab2643895de2823d477 (patch)
treeea3a093b139d3bde632a798c73e308606741fdca /doc
parente38e18ff010e53a788cec30f25ee3d59341b0708 (diff)
downloadguix-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 'doc')
-rw-r--r--doc/guix.texi3
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