You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This plugin is amazing and I'm very happy that I found it.
A small improvement I wish it had (and I'm wondering whether it's feasible without changing zsh internals): When I'm searching something in the history, I'm fully aware as to whether it should be found locally or globally. So I'd prefer a different key sequence for a local search, and always have ^R do global search. Currently I have to remember the state of many different open shells (or, alternatively, I have to ^G once or twice to check the state).
From a quick look in the code, I see the plugin doesn't register a new "history searcher" with separate file(s), and so I'm wondering whether it's even possible without changing zsh itself?
The text was updated successfully, but these errors were encountered:
This plugin is amazing and I'm very happy that I found it.
A small improvement I wish it had (and I'm wondering whether it's feasible without changing zsh internals): When I'm searching something in the history, I'm fully aware as to whether it should be found locally or globally. So I'd prefer a different key sequence for a local search, and always have ^R do global search. Currently I have to remember the state of many different open shells (or, alternatively, I have to ^G once or twice to check the state).
From a quick look in the code, I see the plugin doesn't register a new "history searcher" with separate file(s), and so I'm wondering whether it's even possible without changing zsh itself?
The text was updated successfully, but these errors were encountered: