From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24602 invoked by alias); 16 Feb 2004 20:01:35 -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 24586 invoked from network); 16 Feb 2004 20:01:33 -0000 Received: from unknown (HELO localhost.redhat.com) (216.129.200.20) by sources.redhat.com with SMTP; 16 Feb 2004 20:01:33 -0000 Received: from gnu.org (localhost [127.0.0.1]) by localhost.redhat.com (Postfix) with ESMTP id BAECB2B92; Mon, 16 Feb 2004 15:01:31 -0500 (EST) Message-ID: <4031219B.3020306@gnu.org> Date: Mon, 16 Feb 2004 20:01:00 -0000 From: Andrew Cagney User-Agent: Mozilla/5.0 (X11; U; NetBSD macppc; en-US; rv:1.0.2) Gecko/20030820 MIME-Version: 1.0 To: gdb@sources.redhat.com Subject: Name for the "tui"? Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2004-02/txt/msg00172.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. Andrew