This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH 00/16] Add styling to the gdb CLI and TUI
>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:
>> Nothing built in, this is a longstanding issue when adding new settings
>> to gdb.
Eli> What do you think about the idea to add a convenience variable that
Eli> would provide the GDB version?
Seems reasonable to me.
Something I've done in the past is have an "ignore-errors" command in
Python so I can just "ignore-errors set some-new-thing ...".
Tom