[EMAIL PROTECTED] 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, [EMAIL PROTECTED]
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."


_______________________________________________
Bug-bash mailing list
Bug-bash@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-bash

Reply via email to