Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: Feature request: Is here proper contact to do it

X-seq: zsh-workers 51773
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: Budi <budikusasi@xxxxxxxxx>
Cc: zsh-workers@xxxxxxx
Subject: Re: Feature request: Is here proper contact to do it
Date: Sun, 21 May 2023 21:38:48 -0700
Archived-at: <https://zsh.org/workers/51773>
In-reply-to: <CAH0GyZAhfBSKZco+W25=Wskbe2PP6pbwfi-bq903H_bpX1Fgrw@mail.gmail.com>
List-id: <zsh-workers.zsh.org>
References: <CAH0GyZAhfBSKZco+W25=Wskbe2PP6pbwfi-bq903H_bpX1Fgrw@mail.gmail.com>

On Sun, May 21, 2023 at 7:46 PM Budi <budikusasi@xxxxxxxxx> wrote:
>
> Have Zsh being able to ignore letter case (case-insensitive) when
> searching command history

history-incremental-pattern-search-{backward,forward} will obey the
NO_CASE_GLOB option.

Also look at the history-pattern-search-* user-defined widgets
included with the distribution / documented in the User Contributions
- Zle Functions section of the manual.

References:
- Feature request: Is here proper contact to do it
  - From: Budi

Messages sorted by: Reverse Date, Date, Thread, Author