* [PATCH] Document style behavior in batch mode.
@ 2019-02-21 13:23 Alan Hayward
2019-02-21 15:11 ` Eli Zaretskii
0 siblings, 1 reply; 3+ messages in thread
From: Alan Hayward @ 2019-02-21 13:23 UTC (permalink / raw)
To: gdb-patches; +Cc: nd, Alan Hayward
Style is disabled when running in batch mode.
gdb/ChangeLog:
2019-02-21 Alan Hayward <alan.hayward@arm.com>
* NEWS: Update style defaults.
gdb/doc/ChangeLog:
2019-02-21 Alan Hayward <alan.hayward@arm.com>
* gdb.texinfo: Update style defaults.
---
gdb/NEWS | 2 +-
gdb/doc/gdb.texinfo | 5 +++--
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/gdb/NEWS b/gdb/NEWS
index eaef6aa384..8fe961b3f3 100644
--- a/gdb/NEWS
+++ b/gdb/NEWS
@@ -141,7 +141,7 @@ show tui tab-width NCHARS
set style enabled [on|off]
show style enabled
Enable or disable terminal styling. Styling is enabled by default
- on most hosts.
+ on most hosts, but disabled by default when in batch mode.
set style filename foreground COLOR
set style filename background COLOR
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 173d18be6f..cea1476a9a 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -24514,8 +24514,9 @@ Show the current pagination mode.
@kindex set style
@kindex show style
@value{GDBN} can style its output on a capable terminal. This is
-enabled by default on most systems. Various style settings are
-available; and styles can also be disabled entirely.
+enabled by default on most systems, but disabled by default when in
+batch mode. Various style settings are available; and styles can
+also be disabled entirely.
@table @code
@item set style enabled @samp{on|off}
--
2.17.2 (Apple Git-113)
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] Document style behavior in batch mode.
2019-02-21 13:23 [PATCH] Document style behavior in batch mode Alan Hayward
@ 2019-02-21 15:11 ` Eli Zaretskii
2019-02-21 18:26 ` Alan Hayward
0 siblings, 1 reply; 3+ messages in thread
From: Eli Zaretskii @ 2019-02-21 15:11 UTC (permalink / raw)
To: Alan Hayward; +Cc: gdb-patches, nd
> From: Alan Hayward <Alan.Hayward@arm.com>
> CC: nd <nd@arm.com>, Alan Hayward <Alan.Hayward@arm.com>
> Date: Thu, 21 Feb 2019 13:23:44 +0000
>
> Style is disabled when running in batch mode.
>
> gdb/ChangeLog:
>
> 2019-02-21 Alan Hayward <alan.hayward@arm.com>
>
> * NEWS: Update style defaults.
>
> gdb/doc/ChangeLog:
>
> 2019-02-21 Alan Hayward <alan.hayward@arm.com>
>
> * gdb.texinfo: Update style defaults.
This is OK, but:
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -24514,8 +24514,9 @@ Show the current pagination mode.
> @kindex set style
> @kindex show style
> @value{GDBN} can style its output on a capable terminal. This is
> -enabled by default on most systems. Various style settings are
> -available; and styles can also be disabled entirely.
> +enabled by default on most systems, but disabled by default when in
> +batch mode. Various style settings are available; and styles can
> +also be disabled entirely.
Please insert "(@pxref{Mode Options})" (without the quotes) after
"batch mode", to provide the readers of the manual with a hyperlink to
where that mode is described.
Thanks.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] Document style behavior in batch mode.
2019-02-21 15:11 ` Eli Zaretskii
@ 2019-02-21 18:26 ` Alan Hayward
0 siblings, 0 replies; 3+ messages in thread
From: Alan Hayward @ 2019-02-21 18:26 UTC (permalink / raw)
To: Eli Zaretskii; +Cc: GDB Patches, nd
> On 21 Feb 2019, at 15:11, Eli Zaretskii <eliz@gnu.org> wrote:
>
>> From: Alan Hayward <Alan.Hayward@arm.com>
>> CC: nd <nd@arm.com>, Alan Hayward <Alan.Hayward@arm.com>
>> Date: Thu, 21 Feb 2019 13:23:44 +0000
>>
>> Style is disabled when running in batch mode.
>>
>> gdb/ChangeLog:
>>
>> 2019-02-21 Alan Hayward <alan.hayward@arm.com>
>>
>> * NEWS: Update style defaults.
>>
>> gdb/doc/ChangeLog:
>>
>> 2019-02-21 Alan Hayward <alan.hayward@arm.com>
>>
>> * gdb.texinfo: Update style defaults.
>
> This is OK, but:
>
>> --- a/gdb/doc/gdb.texinfo
>> +++ b/gdb/doc/gdb.texinfo
>> @@ -24514,8 +24514,9 @@ Show the current pagination mode.
>> @kindex set style
>> @kindex show style
>> @value{GDBN} can style its output on a capable terminal. This is
>> -enabled by default on most systems. Various style settings are
>> -available; and styles can also be disabled entirely.
>> +enabled by default on most systems, but disabled by default when in
>> +batch mode. Various style settings are available; and styles can
>> +also be disabled entirely.
>
> Please insert "(@pxref{Mode Options})" (without the quotes) after
> "batch mode", to provide the readers of the manual with a hyperlink to
> where that mode is described.
>
> Thanks.
Thanks!
Patch pushed as:
diff --git a/gdb/NEWS b/gdb/NEWS
index eaef6aa384..8fe961b3f3 100644
--- a/gdb/NEWS
+++ b/gdb/NEWS
@@ -141,7 +141,7 @@ show tui tab-width NCHARS
set style enabled [on|off]
show style enabled
Enable or disable terminal styling. Styling is enabled by default
- on most hosts.
+ on most hosts, but disabled by default when in batch mode.
set style filename foreground COLOR
set style filename background COLOR
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 6b47026aa0..977cc7bbdb 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -24514,8 +24514,9 @@ Show the current pagination mode.
@kindex set style
@kindex show style
@value{GDBN} can style its output on a capable terminal. This is
-enabled by default on most systems. Various style settings are
-available; and styles can also be disabled entirely.
+enabled by default on most systems, but disabled by default when in
+batch mode (@pxref{Mode Options}). Various style settings are available;
+and styles can also be disabled entirely.
@table @code
@item set style enabled @samp{on|off}
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2019-02-21 18:26 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-02-21 13:23 [PATCH] Document style behavior in batch mode Alan Hayward
2019-02-21 15:11 ` Eli Zaretskii
2019-02-21 18:26 ` Alan Hayward
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).