Document style behavior in batch mode.
authorAlan Hayward <alan.hayward@arm.com>
Thu, 21 Feb 2019 18:20:21 +0000 (18:20 +0000)
committerAlan Hayward <alan.hayward@arm.com>
Thu, 21 Feb 2019 18:20:21 +0000 (18:20 +0000)
Style is disabled when running in batch mode.

gdb/ChangeLog:

* NEWS: Update style defaults.

gdb/doc/ChangeLog:

* gdb.texinfo: Update style defaults.

gdb/ChangeLog
gdb/NEWS
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo

index fd704da..b57cc87 100644 (file)
@@ -1,5 +1,9 @@
 2019-02-21  Alan Hayward  <alan.hayward@arm.com>
 
+       * NEWS: Update style defaults.
+
+2019-02-21  Alan Hayward  <alan.hayward@arm.com>
+
        * main.c (captured_main_1): Disable styling in batch mode.
 
 2019-02-20  Tom Tromey  <tom@tromey.com>
index eaef6aa..8fe961b 100644 (file)
--- 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
index 6f22af5..e396bd7 100644 (file)
@@ -1,3 +1,7 @@
+2019-02-21  Alan Hayward  <alan.hayward@arm.com>
+
+       * gdb.texinfo: Update style defaults.
+
 2019-02-21  Tom Tromey  <tromey@adacore.com>
 
        * gdb.texinfo (Remote Configuration): Remove trailing "." from
index 6b47026..977cc7b 100644 (file)
@@ -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}