At the bash prompt, I can type Ctrl-r and Ctrl-s to perform incremental search of my command history.
However, the search is case sensitive: If I have a command cat SomeFile.txt, and I hit "Ctrl-r somefile", I get nothing.
Is there a way to make that search case-insensitive?