we've been using a patch in Gentoo for sometime which adds support for /etc/inputrc as a fallback after $INPUTRC and ~/.inputrc ... i couldnt seem to find anything in the archives where someone proposed this be added to readline, but maybe i just missed it ? -mike
_______________________________________________ Bug-bash mailing list Bug-bash@gnu.org http://lists.gnu.org/mailman/listinfo/bug-bash
