summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/ale.txt4
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`).