diff options
| author | Beat Bolli <dev+git@drbeat.li> | 2017-11-19 23:05:36 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-11-21 02:00:27 (GMT) |
| commit | 007d06aa57e673c95da583d2afa30bb14fb69e28 (patch) | |
| tree | ff543b5032c1dadf71e39dbe8f5d8b0e3eac5921 /diff-lib.c | |
| parent | 89ea799ffcc5c8a0547d3c9075eb979256ee95b8 (diff) | |
| download | git-007d06aa57e673c95da583d2afa30bb14fb69e28.zip git-007d06aa57e673c95da583d2afa30bb14fb69e28.tar.gz git-007d06aa57e673c95da583d2afa30bb14fb69e28.tar.bz2 | |
contrib/git-jump: allow to configure the grep command
Add the configuration option "jump.grepCmd" that allows to configure the
command that is used to search in grep mode. This allows the users of
git-jump to use ag(1) or ack(1) as search engines.
Signed-off-by: Beat Bolli <dev+git@drbeat.li>
Reviewed-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'diff-lib.c')
0 files changed, 0 insertions, 0 deletions