[bug#35867] [PATCH] doc: Update default value of terminal-outputs.

[bug#35867] [PATCH] doc: Update default value of terminal-outputs.

[Jakob L. Kreuze]

[-- Attachment #1.1: Type: text/plain, Size: 220 bytes --]

This morning I noticed a minor inconsistency between the apparent
default value of `terminal-outputs' in the documentation and the actual
default value in gnu/bootloader.scm. Should be a list of symbols.

Regards,
Jakob

[-- Attachment #1.2: 0001-doc-Update-default-value-of-terminal-outputs.patch --]
[-- Type: text/x-diff, Size: 3773 bytes --]

From ccc4847cbe70a54b6b41e5fb847d2ffb62e26be5 Mon Sep 17 00:00:00 2001
From: "Jakob L. Kreuze" <zerodaysfordays@sdf.lonestar.org>
Date: Thu, 23 May 2019 10:39:52 -0400
Subject: [PATCH] doc: Update default value of terminal-outputs.

* doc/guix.texi: (terminal-outputs) Update default value.
* po/doc/guix-manual.de.po: (terminal-outputs) Update default value.
* po/doc/guix-manual.es.po: (terminal-outputs) Update default value.
* po/doc/guix-manual.fr.po: (terminal-outputs) Update default value.
* po/doc/guix-manual.zh_CN.po: (terminal-outputs) Update default value.

---
 doc/guix.texi               | 2 +-
 po/doc/guix-manual.de.po    | 4 ++--
 po/doc/guix-manual.es.po    | 4 ++--
 po/doc/guix-manual.fr.po    | 4 ++--
 po/doc/guix-manual.zh_CN.po | 2 +-
 5 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index b6d00ec176..c5e64210c8 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -24115,7 +24115,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},
diff --git a/po/doc/guix-manual.de.po b/po/doc/guix-manual.de.po
index d2b30be617..4857f4597e 100644
--- a/po/doc/guix-manual.de.po
+++ b/po/doc/guix-manual.de.po
@@ -44230,8 +44230,8 @@ msgstr "Ein Objekt für das im Bootloader anzuzeigende Thema. Wird kein Thema an
 #. type: item
 #: doc/guix.texi:24083
 #, no-wrap
-msgid "@code{terminal-outputs} (default: @code{'gfxterm})"
-msgstr "@code{terminal-outputs} (Vorgabe: @code{'gfxterm})"
+msgid "@code{terminal-outputs} (default: @code{'(gfxterm)})"
+msgstr "@code{terminal-outputs} (Vorgabe: @code{'(gfxterm)})"
 
 #. type: table
 #: doc/guix.texi:24090
diff --git a/po/doc/guix-manual.es.po b/po/doc/guix-manual.es.po
index c272b5af67..198034f0ff 100644
--- a/po/doc/guix-manual.es.po
+++ b/po/doc/guix-manual.es.po
@@ -44827,8 +44827,8 @@ msgstr "El objeto del tema del cargador de arranque que describa el tema a usar.
 #. type: item
 #: doc/guix.texi:23979
 #, no-wrap
-msgid "@code{terminal-outputs} (default: @code{'gfxterm})"
-msgstr "@code{terminal-outputs} (predeterminada: @code{'gfxterm})"
+msgid "@code{terminal-outputs} (default: @code{'(gfxterm)})"
+msgstr "@code{terminal-outputs} (predeterminada: @code{'(gfxterm)})"
 
 #. type: table
 #: doc/guix.texi:23986
diff --git a/po/doc/guix-manual.fr.po b/po/doc/guix-manual.fr.po
index 656a22bc1b..625206b37e 100644
--- a/po/doc/guix-manual.fr.po
+++ b/po/doc/guix-manual.fr.po
@@ -44600,8 +44600,8 @@ msgstr "L'objet de thème du chargeur d'amorçage décrivant le thème utilisé.
 #. type: item
 #: doc/guix.texi:24083
 #, no-wrap
-msgid "@code{terminal-outputs} (default: @code{'gfxterm})"
-msgstr "@code{terminal-outputs} (par défaut : @code{'gfxterm})"
+msgid "@code{terminal-outputs} (default: @code{'(gfxterm)})"
+msgstr "@code{terminal-outputs} (par défaut : @code{'(gfxterm)})"
 
 #. type: table
 #: doc/guix.texi:24090
diff --git a/po/doc/guix-manual.zh_CN.po b/po/doc/guix-manual.zh_CN.po
index 76a3670ea1..bf8c6600d5 100644
--- a/po/doc/guix-manual.zh_CN.po
+++ b/po/doc/guix-manual.zh_CN.po
@@ -42805,7 +42805,7 @@ msgstr ""
 #. type: item
 #: doc/guix.texi:23909
 #, no-wrap
-msgid "@code{terminal-outputs} (default: @code{'gfxterm})"
+msgid "@code{terminal-outputs} (default: @code{'(gfxterm)})"
 msgstr ""
 
 #. type: table
-- 
2.21.0


[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

bug#35867: [PATCH] doc: Update default value of terminal-outputs.

[Ludovic Courtès]

Hi Jakob,

"Jakob L. Kreuze" <zerodaysfordays@sdf.lonestar.org> skribis:

> This morning I noticed a minor inconsistency between the apparent
> default value of `terminal-outputs' in the documentation and the actual
> default value in gnu/bootloader.scm. Should be a list of symbols.

Good catch!

> From ccc4847cbe70a54b6b41e5fb847d2ffb62e26be5 Mon Sep 17 00:00:00 2001
> From: "Jakob L. Kreuze" <zerodaysfordays@sdf.lonestar.org>
> Date: Thu, 23 May 2019 10:39:52 -0400
> Subject: [PATCH] doc: Update default value of terminal-outputs.
>
> * doc/guix.texi: (terminal-outputs) Update default value.
> * po/doc/guix-manual.de.po: (terminal-outputs) Update default value.
> * po/doc/guix-manual.es.po: (terminal-outputs) Update default value.
> * po/doc/guix-manual.fr.po: (terminal-outputs) Update default value.
> * po/doc/guix-manual.zh_CN.po: (terminal-outputs) Update default value.

I applied it, excluding the .po file bits since those are managed at the
Translation Project.

Thanks,
Ludo’.