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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#35867: closed ([PATCH] doc: Update default value of
 terminal-outputs.)
Date: Mon, 27 May 2019 14:47:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Mon, 27 May 2019 16:45:51 +0200
with message-id <87sgt0t0ps.fsf <at> gnu.org>
and subject line Re: [bug#35867] [PATCH] doc: Update default value of terminal-outputs.
has caused the debbugs.gnu.org bug report #35867,
regarding [PATCH] doc: Update default value of terminal-outputs.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
35867: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35867
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: "Jakob L. Kreuze" <zerodaysfordays <at> sdf.lonestar.org>
To: guix-patches <at> gnu.org
Subject: [PATCH] doc: Update default value of terminal-outputs.
Date: Thu, 23 May 2019 10:48:54 -0400

[Message part 3 (text/plain, inline)]

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

[0001-doc-Update-default-value-of-terminal-outputs.patch (text/x-diff, attachment)]

[signature.asc (application/pgp-signature, inline)]

[Message part 6 (message/rfc822, inline)]

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

Hi Jakob,

"Jakob L. Kreuze" <zerodaysfordays <at> 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 <at> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.