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?
jezus-nunez
commented
3 years ago
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?