Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Feature request: Is here proper contact to do it
- X-seq: zsh-workers 51772
- From: Budi <budikusasi@xxxxxxxxx>
- To: zsh-workers@xxxxxxx
- Subject: Feature request: Is here proper contact to do it
- Date: Mon, 22 May 2023 09:45:56 +0700
- Archived-at: <https://zsh.org/workers/51772>
- List-id: <zsh-workers.zsh.org>
So sorry if here is not exactly proper contacted place to do Feature
Request, but can't help to ask the so long demanded need (on Bash at
least 4 years, confirmed they cannot/won't care it, here Zsh almost a
year)
Have Zsh being able to ignore letter case (case-insensitive) when
searching command history
by widget:
history-search-backward or history-beginning-search-backward
as Zsh far more configurable than Bash, so is my hope to have it solved
Anyone has any idea to get it for temporary as a workaround in Zsh ?
Thanks in advance
Messages sorted by:
Reverse Date,
Date,
Thread,
Author