List:General Discussion« Previous MessageNext Message »
From:David Mifsud Date:March 30 1999 12:28pm
Subject:Re: Editing Command Line History
View as plain text  
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
Thread
• Editing Command Line HistoryRalph Alberti30 Mar
  • Re: Editing Command Line HistoryDavid Mifsud30 Mar
  • Re: Editing Command Line HistoryChristian Mack30 Mar
  • Binary Distribution QuestionDavid Mifsud31 Mar
  • Re: Binary Distribution QuestionChristian Mack31 Mar