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

[Philippe Waroquiers <philippe.waroquiers@skynet.be>]

On Sun, 2019-04-14 at 11:20 -0700, Kevin Buettner wrote:
> 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...
There was an RFC on gdb-patches but no previous discussion on gdb.
So, here it is:
https://sourceware.org/ml/gdb/2019-04/msg00006.html

Thanks
Philippe