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

CTRL-R (bound to percol_select_history): you can use it to grep your history with percol.
CTRL-B (bound to percol_select_marks): you can use it to grep your jump bookmarks with percol.