Add the possiblity to add extra psalm options

This commit is contained in:
Grégoire Paris
2019-07-25 23:01:53 +02:00
parent f932211309
commit 95b8689835
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')