Bash: TAB completion to be case-insensitive

If you want the TAB completion to be case-insensitive, like it is in MS-DOS for instance,
you can in your ~/.inputrc set:

set completion-ignore-case On

Now, BASH will auto-correct the case of files and directories for you.