Hello, I have a problem concerning the bash_history: When I use the arrow-keys to flip through the different entries in the bash_history the last character of the command line cannot be deleted. This is a bit disturbing, since I did not change anything and this behaviour was not there before.
Any help is welcome. Thanks, Stefan -- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
