On 8/20/20 12:13 PM, A M wrote: > 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.
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 c...@case.edu http://tiswww.cwru.edu/~chet/