diff options
| author | w0rp <devw0rp@gmail.com> | 2017-01-15 13:05:07 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-01-15 13:05:07 +0000 |
| commit | f1ac7c9f737b43c7de0715923b10c2be76cbc9ed (patch) | |
| tree | 9c8a6a356bec378c8cbb5717074a660e8753a8a3 /doc | |
| parent | 548ff299f4d68890ec7d00a7d20a78c820b0bb2b (diff) | |
| download | ale-f1ac7c9f737b43c7de0715923b10c2be76cbc9ed.zip | |
Rename pylint _args variables to _options variables
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 43e0006e..12d6f8fa 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -803,7 +803,7 @@ g:ale_python_pylint_executable *g:ale_python_pylint_executable* This variable can be changed to modify the executable used for pylint. -g:ale_python_pylint_args *g:ale_python_pylint_args* +g:ale_python_pylint_options *g:ale_python_pylint_options* Type: |String| Default: `''` @@ -815,7 +815,7 @@ For example, to dynamically switch between programs targeting Python 2 and Python 3, you may want to set > let g:ale_python_pylint_executable = 'python3' " or 'python' for Python 2 - let g:ale_python_pylint_args = '-rcfile /path/to/pylint.rc' + let g:ale_python_pylint_options = '-rcfile /path/to/pylint.rc' after making sure it's installed for the appropriate Python versions (e.g. `python3 -m pip install --user pylint`). |