Hello, I would like to make a feature request/suggestion on Bash. (I was
told submitting to this mailing list was the right way to do it.)
Feature request: Enable reverse-search-history (C-r) to be case-insensitive.
Currently reverse-search-history is case-sensitive and cannot be changed
to be insensitive. As the evolution of Bash has progressed, more and
more functions have gotten the ability to be case-insensitive, but this
is a function that remains it seems.
It would be nice to have this functionality.
Best Regards
Alex
