Re: Use external editor in 'commands' command

[Tom Tromey <tromey at redhat dot com>]

>>>>> "Daniel" == Daniel Jacobowitz <drow@false.org> writes:

Daniel> It looked like your patch changed the behavior of the "commands"
Daniel> command.  I don't think that's a good idea; it'll break things all
Daniel> over the place.

I think this patch changes it in a compatible way.
The user writes "commands 5 edit", which is currently an error.

It seems to me that it would also be compatible to make "commands" a
prefix command, and have "commands edit 5".  To me, this seems
somewhat more in keeping with other existing gdb commands.  What do
you think?


Alfredo, one other thing that I haven't seen mentioned is that a patch
this size will require copyright papers to be filed with the FSF.  If
you haven't done this yet, send me email off-list and I can get you
started.

Tom