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 c
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
