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

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



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.




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