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

Tom Tromey tom@tromey.com
Tue Feb 19 17:36:00 GMT 2019


>>>>> "Alan" == Alan Hayward <Alan.Hayward@arm.com> writes:

Alan> Patch simply disables style after reading the batch command flag, before
Alan> reading in the init file or batch file.

I had left this enabled intentionally, but after thinking about it, I
think your rationale makes sense; and in any case the rare user who
wants batch mode with styling can use -iex or the like to re-enable it.

So, I think the patch is ok.

thanks,
Tom



More information about the Gdb-patches mailing list