diff options
author | w0rp <w0rp@users.noreply.github.com> | 2019-02-20 09:58:02 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-20 09:58:02 +0000 |
commit | 8012e5b60fc08883754cb0c871a0e6cb012db7a7 (patch) | |
tree | 94aca835b94a9f8a7096186e2e8f2c650cc6fd32 /doc | |
parent | 707a42167f184355b64e1368a5e390dffc0cb885 (diff) | |
parent | 52c24007860b1e29c2e2cb318f29aff9889cb3c0 (diff) | |
download | ale-8012e5b60fc08883754cb0c871a0e6cb012db7a7.zip |
Merge pull request #2303 from kevinoid/bandit-use-config
python/bandit: Use .bandit configuration file
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale-python.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/ale-python.txt b/doc/ale-python.txt index dd5d4cc6..dd946ad4 100644 --- a/doc/ale-python.txt +++ b/doc/ale-python.txt @@ -90,6 +90,17 @@ g:ale_python_bandit_options *g:ale_python_bandit_options* bandit invocation. +g:ale_python_bandit_use_config *g:ale_python_bandit_use_config* + *b:ale_python_bandit_use_config* + Type: |Number| + Default: `1` + + If this variable is true and a `.bandit` file exists in the directory of the + file being checked or a parent directory, an `--ini` option is added to the + `bandit` command for the nearest `.bandit` file. Set this variable false to + disable adding the `--ini` option automatically. + + g:ale_python_bandit_use_global *g:ale_python_bandit_use_global* *b:ale_python_bandit_use_global* Type: |Number| |