RFC: ``detach remote''
Andrew Cagney
ac131313@ges.redhat.com
Mon Aug 12 07:36:00 GMT 2002
> This whole question put another way:
> Obviously, if you start something with "run", you want to end it with
> "kill".
>
> Obviously, if you start something with "attach", you want to end it
> with "detach".
>
> [These are not hard and fast, of course. You can detach a run process
> or kill an attached process. But you surely see what I mean - they're
> logical opposites.]
True,
There is a tradeoff between convenience and modal behavour. Need a user
survey (however, I suspect the attach/detach argument would win :-).
> If you start something with "target", how do you end it? I propose
> "disconnect".
The user doesn't start something with target, they ``connect'' using
target. That should more strongly suggest that ``disconnect''
disconnects the connection :-)
The doco will end up needing a glossary.
Andrew
More information about the Gdb-patches
mailing list