From: David Mifsud
Date: March 30 1999 12:28pm
Subject: Re: Editing Command Line History
List-Archive: http://lists.mysql.com/mysql/1184
Message-Id: <3700C38A.47694BA5@csc.um.edu.mt>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

on unix ...

  $EDITOR $HOME/.mysql_history

dave

Ralph Alberti wrote:
> 
> Is there a way to delete unwanted lines from the MySQL client command
> line history?
> 
>   --Ralph
> 

-- 
David Mifsud
Computing Services Centre
University of Malta

compu@stripped	http://staff.um.edu.mt/compu/

tel: (+356) 3290 2261
     (+356) 3290 3004-6
fax: (+356) 343397