On Fri, 12 Dec 1997, Santiago Vila Doncel wrote: > Related question: Current bash is patched to recognize /etc/inputrc.
Not bash, but libreadline (it's used by bash and many other programs). > Why don't we use "export INPUTRC=/etc/inputrc" in /etc/profile, instead? > (Would this make patching unnecessary?) Because the goal is to have _both_ a system-wide inputrc _and_ a user-specific one. -- Enrique Zanardi [EMAIL PROTECTED] Dpto. Fisica Fundamental y Experimental Univ. de La Laguna
