From: Ralph Alberti
Date: March 30 1999 11:52am
Subject: Editing Command Line History
List-Archive: http://lists.mysql.com/mysql/1182
Message-Id: <3700BAF9.55E44A2@worldnet.att.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Is there a way to delete unwanted lines from the MySQL client command
line history?

  --Ralph