Subject: bug#35867: closed (Re: [bug#35867] [PATCH] doc: Update default value of terminal-outputs.)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 27 May 2019 14:47:02 +0000

Your bug report

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

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
35867: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35867
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#35867] [PATCH] doc: Update default value of terminal-outputs.
From: Ludovic Courtès <[email-masked]>
To: "Jakob L. Kreuze" <[email-masked]>
Cc: [email-masked]
Date: Mon, 27 May 2019 16:45:51 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Jakob,

"Jakob L. Kreuze" <[email-masked]> 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" <[email-masked]>
> 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’.

Subject: [PATCH] doc: Update default value of terminal-outputs.
From: "Jakob L. Kreuze" <[email-masked]>
To: [email-masked]
Date: Thu, 23 May 2019 10:48:54 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

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
From ccc4847cbe70a54b6b41e5fb847d2ffb62e26be5 Mon Sep 17 00:00:00 2001
From: "Jakob L. Kreuze" <[email-masked]>
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