Re: RFC: ``detach remote''

Andrew Cagney
2002-08-12T14:36:53Z

> 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