vim-lint

commit

c0cb61a7c0f763c5c8b1274ec53942a35b6aa3ba

parent

d6f283fcc74795ec8ce729e555ba7ecc9a1bd2a9

Author

Tobias Bengfort <tobias.bengfort@posteo.de>

Date

2019-02-23 16:58

use make instead of grep

Diffstat

1 files changed, 7 insertions, 7 deletions

diff --git a/autoload/lint.vim b/autoload/lint.vim

@@ -1,22 +1,22 @@
    1     1 let s:signids = []
    2     2 
    3     3 function! s:RunLinter(prg, format)
    4    -1     let l:old_grepprg = &grepprg
    5    -1     let l:old_grepformat = &grepformat
   -1     4     let l:old_makeprg = &makeprg
   -1     5     let l:old_errorformat = &errorformat
    6     6     let l:old_shellpipe = &shellpipe
    7     7     let l:old_t_ti = &t_ti
    8     8     let l:old_t_te = &t_te
    9     9 
   10    -1     let &grepprg = a:prg
   11    -1     let &grepformat = a:format
   -1    10     let &makeprg = a:prg
   -1    11     let &errorformat = a:format
   12    12     let &shellpipe = '>'
   13    13     let &t_ti = ''
   14    14     let &t_te = ''
   15    15 
   16    -1     silent! grep! '%'
   -1    16     silent! make! '%'
   17    17 
   18    -1     let &grepprg = l:old_grepprg
   19    -1     let &grepformat = l:old_grepformat
   -1    18     let &makeprg = l:old_makeprg
   -1    19     let &errorformat = l:old_errorformat
   20    20     let &shellpipe = l:old_shellpipe
   21    21     let &t_ti = l:old_t_ti
   22    22     let &t_te = l:old_t_te