[RFC/PATCH] Disable styling when running in batch mode

[Eli Zaretskii]

> From: Alan Hayward <Alan.Hayward@arm.com>
> CC: nd <nd@arm.com>, Alan Hayward <Alan.Hayward@arm.com>
> Date: Mon, 18 Feb 2019 11:04:01 +0000
> 
> Patch simply disables style after reading the batch command flag, before
> reading in the init file or batch file.
> 
> gdb/ChangeLog:
> 
> 2019-02-18  Alan Hayward  <alan.hayward@arm.com>
> 
> 	* main.c (captured_main_1): Disable styling in batch mode.

If this is accepted, it should be documented in the GDB manual and in
NEWS.

Thanks.