[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/04: doc: Update default value of terminal-outputs.
From: |
guix-commits |
Subject: |
04/04: doc: Update default value of terminal-outputs. |
Date: |
Mon, 27 May 2019 10:53:07 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit f644f6365505eaad79ffca7046e18907b5d7a5b6
Author: Jakob L. Kreuze <address@hidden>
Date: Thu May 23 10:39:52 2019 -0400
doc: Update default value of terminal-outputs.
* doc/guix.texi: (terminal-outputs) Update default value.
Signed-off-by: Ludovic Courtès <address@hidden>
---
doc/guix.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/guix.texi b/doc/guix.texi
index d60f453..98c5d1e 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.
address@hidden @code{terminal-outputs} (default: @code{'gfxterm})
address@hidden @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},
@address@hidden@}}, @code{gfxterm}, @code{vga_text},