From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13816 invoked by alias); 12 Aug 2002 14:36:53 -0000 Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sources.redhat.com Received: (qmail 13807 invoked from network); 12 Aug 2002 14:36:50 -0000 Received: from unknown (HELO localhost.redhat.com) (216.138.202.10) by sources.redhat.com with SMTP; 12 Aug 2002 14:36:50 -0000 Received: from ges.redhat.com (localhost [127.0.0.1]) by localhost.redhat.com (Postfix) with ESMTP id E8F343D12; Mon, 12 Aug 2002 10:36:48 -0400 (EDT) Message-ID: <3D57C800.4010809@ges.redhat.com> Date: Mon, 12 Aug 2002 07:36:00 -0000 From: Andrew Cagney User-Agent: Mozilla/5.0 (X11; U; NetBSD macppc; en-US; rv:1.0.0) Gecko/20020810 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Daniel Jacobowitz Cc: gdb-patches@sources.redhat.com Subject: Re: RFC: ``detach remote'' References: <3D517576.2070001@ges.redhat.com> <20020807194959.GA1535@nevyn.them.org> <3D519FB2.6090605@ges.redhat.com> <20020808132512.GA1840@nevyn.them.org> <3D540069.6010203@ges.redhat.com> <20020811030130.GA10208@nevyn.them.org> <3D567F7B.7080502@ges.redhat.com> <20020811163515.GA14609@nevyn.them.org> <3D56A6A1.7040904@ges.redhat.com> <20020811183448.GA19112@nevyn.them.org> <20020811205238.GA23632@nevyn.them.org> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2002-08/txt/msg00258.txt.bz2 > 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