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

[Chet Ramey]

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, CWRUc...@case.eduhttp://tiswww.cwru.edu/~chet/

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