From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4776 invoked by alias); 20 May 2005 20:38:17 -0000 Mailing-List: contact gdb-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sources.redhat.com Received: (qmail 4768 invoked from network); 20 May 2005 20:38:14 -0000 Received: from unknown (HELO mx1.redhat.com) (66.187.233.31) by sourceware.org with SMTP; 20 May 2005 20:38:14 -0000 Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254]) by mx1.redhat.com (8.12.11/8.12.11) with ESMTP id j4KKcEE8027893 for ; Fri, 20 May 2005 16:38:14 -0400 Received: from potter.sfbay.redhat.com (potter.sfbay.redhat.com [172.16.27.15]) by int-mx1.corp.redhat.com (8.11.6/8.11.6) with ESMTP id j4KKcDO28768; Fri, 20 May 2005 16:38:13 -0400 Received: from [172.16.24.50] (bluegiant.sfbay.redhat.com [172.16.24.50]) by potter.sfbay.redhat.com (8.12.8/8.12.8) with ESMTP id j4KKcBa8008457; Fri, 20 May 2005 16:38:11 -0400 Message-ID: <428E4AB2.3060608@redhat.com> Date: Fri, 20 May 2005 20:38:00 -0000 From: Michael Snyder User-Agent: Mozilla Thunderbird (X11/20050322) MIME-Version: 1.0 To: Daniel Jacobowitz CC: Eli Zaretskii , gdb@sources.redhat.com Subject: Re: [discuss] Support for reverse-execution References: <00c601c55747$860a3e80$aaa56b80@msnyder8600> <01c55783$Blat.v2.4$d6ab25c0@zahav.net.il> <20050519134150.GB15632@nevyn.them.org> In-Reply-To: <20050519134150.GB15632@nevyn.them.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2005-05/txt/msg00231.txt.bz2 Daniel Jacobowitz wrote: > I would just have called the command rcontinue, but reverse-continue is > fine with me too; either way we'll hopefully offer abbreviations, like > "c" and "si". I can't remember if I said this already, but... If you look at gcore.c, you'll see that the actual name of the command is "generate-core-file". Then it's aliased to the shorter "gcore". That's what I had in mind here. A long-but-descriptive form (which perhaps no one will ever type), and one or more short forms such as rcontinue and rc.