prefer git grep to grep
This commit is contained in:
parent
9a2e10bbf4
commit
e46d2e1390
1 changed files with 5 additions and 0 deletions
|
@ -120,6 +120,11 @@ colorscheme base16-colors
|
||||||
highlight LineNr ctermfg=08 ctermbg=NONE
|
highlight LineNr ctermfg=08 ctermbg=NONE
|
||||||
|
|
||||||
nnoremap <Leader>g :Grepper<CR>
|
nnoremap <Leader>g :Grepper<CR>
|
||||||
|
let g:grepper={
|
||||||
|
\ 'tools': ['git', 'grep'],
|
||||||
|
\ 'open': 1,
|
||||||
|
\ 'jump': 0,
|
||||||
|
\ }
|
||||||
|
|
||||||
let g:haskell_enable_quantification=1
|
let g:haskell_enable_quantification=1
|
||||||
let g:haskell_enable_recursivedo=1
|
let g:haskell_enable_recursivedo=1
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue