Delete key and bash

Jonathan Underwood j.underwood at open.ac.uk
Tue Jan 18 17:13:52 UTC 2005


> 
> Do you have INPUTRC set. Mine is set to $HOME/.inputrc and I had to add
> that line there to get it to work.
> 
> Chris
> 

Oh, yes, indeed that was the issue. INPUTRC is set in /etc/profile, but 
I guess that's only read by login shells, and so INPUTRC isn't set for 
non-logins i.e. opening a terminal in Gnome etc.

I wonder if this behaviour is desireable though, should INPUTRC not be 
set in /etc/bashrc, so all (interactive) shells have this set?

Jonathan.




More information about the users mailing list