percol

Provides some useful function to make percol work with zsh history and the jump plugin, optionally.

To use it, add percol to the plugins array in your zshrc:

plugins=(... percol)

Requirements

• percol: install with pip install percol.

• (Optional) jump plugin: needs to be enabled before the percol plugin.

Usage

• <kbd>CTRL-R</kbd> (bound to percol_select_history): you can use it to grep your history with percol.

• <kbd>CTRL-B</kbd> (bound to percol_select_marks): you can use it to grep your jump bookmarks with percol.