On Thu, Mar 2, 2023, 01:03 Konstantin Glukhov <[email protected]> wrote:
> Is it possible to request a new feature? > Add an option isearch-ignore-case. > A new readline option search-ignore-case was just added two weeks ago to the devel branch: https://git.savannah.gnu.org/cgit/bash.git/commit/?h=devel&id=72c4a0f4 >
