[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