diff options
| author | Katsuya Horiuchi <katsuya.horiuchi.biz@gmail.com> | 2019-05-10 01:28:18 +0900 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2019-05-09 17:28:18 +0100 |
| commit | f444abdfe66696505cb891889b18c4144d12d4ea (patch) | |
| tree | c0b5c57c854c9e69dcc5a243fc2758f81aed98bc /doc | |
| parent | 722c3e8dae80b9cea738ddb3df4f7d066d669e53 (diff) | |
| download | ale-f444abdfe66696505cb891889b18c4144d12d4ea.zip | |
Add option to show msg id when pylint is used (#2445)
* Add python_pylint_use_msg_id to tweak output of pylint
* Add test for ale_python_pylint_use_msg_id
* Add doc on ale_python_pylint_use_msg_id
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-python.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/ale-python.txt b/doc/ale-python.txt index dd946ad4..7dd3b65d 100644 --- a/doc/ale-python.txt +++ b/doc/ale-python.txt @@ -580,6 +580,14 @@ g:ale_python_pylint_auto_pipenv *g:ale_python_pylint_auto_pipenv* if true. This is overridden by a manually-set executable. +g:ale_python_pylint_use_msg_id *g:ale_python_pylint_use_msg_id* + *b:ale_python_pylint_use_msg_id* + Type: |Number| + Default: `0` + + Use message for output (e.g. I0011) instead of symbolic name of the message + (e.g. locally-disabled). + =============================================================================== pyls *ale-python-pyls* |