From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 9976 invoked by alias); 18 Feb 2004 16:11:40 -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 9964 invoked from network); 18 Feb 2004 16:11:38 -0000 Received: from unknown (HELO localhost.redhat.com) (216.129.200.20) by sources.redhat.com with SMTP; 18 Feb 2004 16:11:38 -0000 Received: from gnu.org (localhost [127.0.0.1]) by localhost.redhat.com (Postfix) with ESMTP id 910112B92 for ; Wed, 18 Feb 2004 11:11:33 -0500 (EST) Message-ID: <40338EB5.3060502@gnu.org> Date: Wed, 18 Feb 2004 16:11:00 -0000 From: Andrew Cagney User-Agent: Mozilla/5.0 (X11; U; NetBSD macppc; en-US; rv:1.4.1) Gecko/20040217 MIME-Version: 1.0 To: gdb@sources.redhat.com Subject: Re: Name for the "tui"? References: <4031219B.3020306@gnu.org> In-Reply-To: <4031219B.3020306@gnu.org> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2004-02/txt/msg00228.txt.bz2 > Hello, > > We need a name for the tui-by-default GDB binary. gdb-patches@ discussion suggests either: > > tuigdb > or > gdbtui > > are most popular. Vote away :-) Voting closes in the somewhat arbitrary approximate two days. gdbtui it is