zsh-workers
 help / color / mirror / code / Atom feed
* Feature request: Is here proper contact to do it
@ 2023-05-22  2:45 Budi
  2023-05-22  4:38 ` Bart Schaefer
  0 siblings, 1 reply; 2+ messages in thread
From: Budi @ 2023-05-22  2:45 UTC (permalink / raw)
  To: zsh-workers

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


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2023-05-22  4:39 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-05-22  2:45 Feature request: Is here proper contact to do it Budi
2023-05-22  4:38 ` Bart Schaefer

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).