bug-readline
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Enhancement: add option isearch-ignore-case

From: Grisha Levit
Subject: Re: Enhancement: add option isearch-ignore-case
Date: Thu, 2 Mar 2023 04:17:01 -0500
On Thu, Mar 2, 2023, 01:03 Konstantin Glukhov <kglukhov@hotmail.com> 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

reply via email to
[Prev in Thread] Current Thread [Next in Thread]