diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-02-10 23:24:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-10 23:24:31 +0000 |
| commit | 5dbac4ab9cedc4eed0d26d8d4cadff477a6543b2 (patch) | |
| tree | 8ffd94bb3565faab301391f98f7209be38a42cb6 /doc | |
| parent | b235e08b3ccbfd4a614b81e983f596559dd263cb (diff) | |
| parent | 82b15fb7063e1c40803971159a6c1d330a585274 (diff) | |
| download | ale-5dbac4ab9cedc4eed0d26d8d4cadff477a6543b2.zip | |
Merge pull request #2287 from kevinoid/vulture-options
Document and test ale_python_vulture_options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-python.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/ale-python.txt b/doc/ale-python.txt index 8641def5..f74e4e83 100644 --- a/doc/ale-python.txt +++ b/doc/ale-python.txt @@ -671,6 +671,15 @@ g:ale_python_vulture_executable *g:ale_python_vulture_executable* See |ale-integrations-local-executables| +g:ale_python_vulture_options *g:ale_python_vulture_options* + *b:ale_python_vulture_options* + Type: |String| + Default: `''` + + This variable can be changed to add command-line arguments to the vulture + invocation. + + g:ale_python_vulture_use_global *g:ale_python_vulture_use_global* *b:ale_python_vulture_use_global* Type: |Number| |