On Wed, 2008-03-19 at 18:08 -0300, José Tomás Eterovic wrote: > I'm using csh, so didn't realize I had the same problem on bash (and I > do have it), $HOME/.inputrc doesn't exist, but /etc/inputrc has [...] That seems to be the default /etc/inputrc, as supplied by (for example) fedora. This should not be the source of your problem.