[RFA 1/3] / command : fast way to change setting(s), run a command, reset settings(s).

[Kevin Buettner]

On Sat, 13 Apr 2019 21:00:14 +0200
Philippe Waroquiers <philippe.waroquiers@skynet.be> wrote:

> GDB has a lot of settings related to how commands behaves and/or print things.
> 
> There is however currently no easy way to temporarily change a setting
> for a command.
> This patch implements a new command called /, that allows to temporarily
> change the settings in order to execute another command.
> The objective for this / command is to be fast to type, so it uses
> 1 or 2 letters codes to identify which settings(s) to temporarily set.

Hi Philippe,

I'd like to see some discussion regarding your proposed changes to
the command line interface first.  (Though it is indeed useful to have
a patch to try out your proposed changes.)

I think it might be useful to post your examples along with a pointer
to this patch set to gdb@sourceware.org.

If this discussion has already occurred and I've somehow missed it,
I'd appreciate a link...

Kevin