ohmyzsh

History

当轩 ac0d71467b add plugin:percol (#4582 ) * add plugin:percol * fix format * check percol * fix empty history in gnome terminal		2018-07-01 23:07:35 +02:00
..
README.md	add plugin:percol (#4582 )	2018-07-01 23:07:35 +02:00
percol.plugin.zsh	add plugin:percol (#4582 )	2018-07-01 23:07:35 +02:00

percol

Provides some useful function to make percol work with zsh history and jump plugin

pip install percol

And jump for oh-my-zsh is a optional requirement.

For default

^-r bind to percol_select_history.You can use it to grep your history with percol.
^-b bind to percol_select_marks.You can use it to grep your bookmarks with percol.