tab-completion unabhängig von Groß- und Kleinschreibung machen

echo "set completion-ignore-case ON" >> .inputrc schaltet die tab-completion der bash auf case-insensitive um. Das heißt, das nach Eingabe von lib(tab)(tab)sowohl auf library als auch auf Library gematcht wird.