2021-11-08 14:01:34 +01:00
|
|
|
# percol
|
2018-07-01 23:07:35 +02:00
|
|
|
|
2021-11-08 14:01:34 +01:00
|
|
|
Provides some useful function to make [percol](https://github.com/mooz/percol) work with zsh history and
|
|
|
|
the [jump plugin](https://github.com/ohmyzsh/ohmyzsh/tree/master/plugins/jump), optionally.
|
2018-07-01 23:07:35 +02:00
|
|
|
|
2021-11-08 14:01:34 +01:00
|
|
|
To use it, add `percol` to the plugins array in your zshrc:
|
2018-07-01 23:07:35 +02:00
|
|
|
|
2021-11-08 14:01:34 +01:00
|
|
|
```zsh
|
|
|
|
plugins=(... percol)
|
2018-07-01 23:07:35 +02:00
|
|
|
```
|
|
|
|
|
2021-11-08 14:01:34 +01:00
|
|
|
## Requirements
|
2018-07-01 23:07:35 +02:00
|
|
|
|
2021-11-08 14:01:34 +01:00
|
|
|
- `percol`: install with `pip install percol`.
|
2018-07-01 23:07:35 +02:00
|
|
|
|
2021-11-08 14:01:34 +01:00
|
|
|
- (_Optional_) [`jump`](https://github.com/ohmyzsh/ohmyzsh/tree/master/plugins/jump) plugin: needs to be
|
|
|
|
enabled before the `percol` plugin.
|
2018-07-01 23:07:35 +02:00
|
|
|
|
2021-11-08 14:01:34 +01:00
|
|
|
## Usage
|
2018-07-01 23:07:35 +02:00
|
|
|
|
2021-11-08 14:01:34 +01:00
|
|
|
- <kbd>CTRL-R</kbd> (bound to `percol_select_history`): you can use it to grep your history with percol.
|
2018-07-01 23:07:35 +02:00
|
|
|
|
2021-11-08 14:01:34 +01:00
|
|
|
- <kbd>CTRL-B</kbd> (bound to `percol_select_marks`): you can use it to grep your jump bookmarks with percol.
|