mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-02-01 03:47:33 +08:00
* 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.