make terminal case insensitive (debian linux) Open / create the inputrc file by typing pico ~/.inputrc And add the line: set completion-ignore-case on