diff options
| author | jdhao <jdhao@hotmail.com> | 2020-03-15 09:32:52 +0800 |
|---|---|---|
| committer | jdhao <jdhao@hotmail.com> | 2020-03-15 09:32:52 +0800 |
| commit | 99e4c9cfd6ee11a66630b058a46a367330fc014a (patch) | |
| tree | 1bcd56a840972a0ca3b51c3dd8b650b7f387c9b8 | |
| parent | 8ae7431cbe77e4b6416a9a5068dd93a87a0a1541 (diff) | |
Update: add grep program
| -rw-r--r-- | options.vim | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/options.vim b/options.vim index 188e938..34f5262 100644 --- a/options.vim +++ b/options.vim @@ -162,4 +162,10 @@ set nojoinspaces set synmaxcol=500 set nostartofline + +" External program to use for grep command +if executable('rg') + set grepprg=rg\ --vimgrep\ --no-heading\ --smart-case + set grepformat=%f:%l:%c:%m +endif "} |