diff options
| author |  Beat Bolli <dev+git@drbeat.li> | 2017-11-20 00:05:36 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2017-11-21 11:00:27 +0900 |
| commit | 007d06aa57e673c95da583d2afa30bb14fb69e28 (patch) | |
| tree | ff543b5032c1dadf71e39dbe8f5d8b0e3eac5921 /contrib/git-jump/README | |
| parent | Sync with maint (diff) | |
| download | tgif-007d06aa57e673c95da583d2afa30bb14fb69e28.tar.xz | |
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 'contrib/git-jump/README')
| -rw-r--r-- | contrib/git-jump/README | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/git-jump/README b/contrib/git-jump/README index 225e3f0954..9f58d5db8e 100644 --- a/contrib/git-jump/README +++ b/contrib/git-jump/README @@ -63,6 +63,9 @@ git jump grep foo_bar # same as above, but case-insensitive; you can give # arbitrary grep options git jump grep -i foo_bar + +# use the silver searcher for git jump grep +git config jump.grepCmd "ag --column" -------------------------------------------------- |