diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-03-25 22:05:28 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-25 22:05:28 +0000 |
| commit | 32c8bd1fa4629d52df27103fcf18d59c5d16b343 (patch) | |
| tree | 7b6d11ddc86436118c6f30f75bc075e3b27dc82e /doc | |
| parent | 8768a309b8ef1c2e819dcb6f4630f73acab59792 (diff) | |
| parent | dfff73795a8ab4f8eeb31e0165cb9b63af3c8cf2 (diff) | |
| download | ale-32c8bd1fa4629d52df27103fcf18d59c5d16b343.zip | |
Merge pull request #2363 from davidsierradz/master
support jsonlint local executable
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-json.txt | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/doc/ale-json.txt b/doc/ale-json.txt index 6a0a9fae..96499a04 100644 --- a/doc/ale-json.txt +++ b/doc/ale-json.txt @@ -52,7 +52,21 @@ g:ale_json_fixjson_use_global *g:ale_json_fixjson_use_global* =============================================================================== jsonlint *ale-json-jsonlint* -There are no options available. +g:ale_json_jsonlint_executable *g:ale_json_jsonlint_executable* + *b:ale_json_jsonlint_executable* + + Type: |String| + Default: `'jsonlint'` + + The executable that will be run for jsonlint. + +g:ale_json_jsonlint_use_global *g:ale_json_jsonlint_use_global* + *b:ale_json_jsonlint_use_global* + + Type: |Number| + Default: `get(g:, 'ale_use_global_executables', 0)` + + See |ale-integrations-local-executables| =============================================================================== |