diff options
author | 当轩 <me@dangxuan.pro> | 2018-07-02 05:07:35 +0800 |
---|---|---|
committer | Marc Cornellà <marc.cornella@live.com> | 2018-07-01 23:07:35 +0200 |
commit | ac0d71467be9de2e399ef99ae58d7780e1d2ff4c (patch) | |
tree | e6196b1992b797b9558541728ceb2b59205b8d88 /plugins/percol/README.md | |
parent | 55ab532e506521069afba327432132c096885c29 (diff) | |
download | zsh-ac0d71467be9de2e399ef99ae58d7780e1d2ff4c.tar.gz zsh-ac0d71467be9de2e399ef99ae58d7780e1d2ff4c.tar.bz2 zsh-ac0d71467be9de2e399ef99ae58d7780e1d2ff4c.zip |
add plugin:percol (#4582)
* add plugin:percol
* fix format
* check percol
* fix empty history in gnome terminal
Diffstat (limited to 'plugins/percol/README.md')
-rw-r--r-- | plugins/percol/README.md | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/plugins/percol/README.md b/plugins/percol/README.md new file mode 100644 index 000000000..97cca6876 --- /dev/null +++ b/plugins/percol/README.md @@ -0,0 +1,23 @@ +## percol + +Provides some useful function to make [percol](https://github.com/mooz/percol) work with zsh history and [jump plugin](https://github.com/robbyrussell/oh-my-zsh/blob/master/plugins/jump/jump.plugin.zsh) + +### Preview + + +### Requirements + +```shell +pip install percol +``` + +And [jump](https://github.com/robbyrussell/oh-my-zsh/blob/master/plugins/jump/jump.plugin.zsh) for `oh-my-zsh` is a optional requirement. + +### Usage + +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. + |