From f644f6365505eaad79ffca7046e18907b5d7a5b6 Mon Sep 17 00:00:00 2001 From: "Jakob L. Kreuze" Date: Thu, 23 May 2019 10:39:52 -0400 Subject: [PATCH] doc: Update default value of terminal-outputs. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * doc/guix.texi: (terminal-outputs) Update default value. Signed-off-by: Ludovic Courtès --- doc/guix.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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},