Merge pull request #2819 from greg0ire/psalm_extra_options

Add the possiblity to add extra psalm options
This commit is contained in:
w0rp
2019-10-29 17:21:01 +00:00
committed by GitHub
3 changed files with 21 additions and 1 deletions

View File

@@ -22,6 +22,14 @@ Execute(Vendor executables should be detected):
\ . '/psalm-project/vendor/bin/psalm'
\ )) . ' --language-server'
Execute(User provided options should be used):
let g:ale_psalm_langserver_options = '--my-user-provided-option my-value'
AssertLinter 'psalm',
\ ale#Escape('psalm')
\ . ' --language-server --my-user-provided-option my-value'
Execute(The project path should be correct for .git directories):
call ale#test#SetFilename('psalm-project/test.php')