[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: history lines can be deleted even with histreedit = off
|
From: |
Andreas Schwab |
|
Subject: |
Re: history lines can be deleted even with histreedit = off |
|
Date: |
Thu, 22 Mar 2007 11:06:23 +0100 |
|
User-agent: |
Gnus/5.110006 (No Gnus v0.6) Emacs/22.0.91 (gnu/linux) |
eravin@panix.com writes:
> Even with histreedit set to off (the default), bash allows the user to
> delete history lines if the user presses Control-U, and then uses
> Control-N or Control-P to move up or down in the history.
histreedit has nothing to do with the ability to edit the history. Its
only function is to automatically offer a line with a failed history
substitution for reedit.
Andreas.
--
Andreas Schwab, SuSE Labs, schwab@suse.de
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
PGP key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."