mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2024-11-17 19:30:10 +00:00
b80b1a1e8b
* Change project URL from robbyrussell to ohmyzsh org * Update git remote to use ohmyzsh org repository |
||
|---|---|---|
| .. | ||
| percol.plugin.zsh | ||
| README.md | ||
percol
Provides some useful function to make percol work with zsh history and jump plugin
Requirements
pip install percol
And jump for oh-my-zsh is a optional requirement.
Usage
For default
-
^-rbind topercol_select_history.You can use it to grep your history with percol. -
^-bbind topercol_select_marks.You can use it to grep your bookmarks with percol.