Re: RFC: ``detach remote''

[Andrew Cagney <ac131313@ges.redhat.com>]

> 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