summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakob L. Kreuze <zerodaysfordays@sdf.lonestar.org>2019-05-23 10:39:52 -0400
committerLudovic Courtès <ludo@gnu.org>2019-05-27 16:44:53 +0200
commitf644f6365505eaad79ffca7046e18907b5d7a5b6 (patch)
treedfe11e08535707300d5ff1107480f95a22ddb91f
parentcf342a859820c76ab749db3ac5e630ba09a9ad26 (diff)
doc: Update default value of terminal-outputs.
* doc/guix.texi: (terminal-outputs) Update default value. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
-rw-r--r--doc/guix.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index d60f453b24..98c5d1e91d 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -24132,7 +24132,7 @@ The bootloader theme object describing the theme to use. If no theme
is provided, some bootloaders might use a default theme, that's true
for GRUB.
-@item @code{terminal-outputs} (default: @code{'gfxterm})
+@item @code{terminal-outputs} (default: @code{'(gfxterm)})
The output terminals used for the bootloader boot menu, as a list of
symbols. GRUB accepts the values: @code{console}, @code{serial},
@code{serial_@{0-3@}}, @code{gfxterm}, @code{vga_text},