Feature request: Enable case-insensitive reverse-search-history (C-r)

[A M]

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

[Chet Ramey]

Thanks for the suggestion. I would probably do it with an option that made
all searches case-insensitive instead of adding case-insensitive versions
of a number of search commands.



--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU ch...@case.edu http://tiswww.cwru.edu/~chet/