diff options
author | Philipp Hörist <philipp@hoerist.com> | 2019-11-15 17:31:24 +0300 |
---|---|---|
committer | Philipp Hörist <philipp@hoerist.com> | 2019-11-15 17:31:24 +0300 |
commit | 8cac5939ec516d2cf5ddf4866a212f637ebd6d02 (patch) | |
tree | f74525328d394368b600b092b6a9a4ebd64cbf57 /scripts | |
parent | c3f44445bda12d2a6f22f5e85a48771249c49876 (diff) |
CI: Use strict pylint settings for modules
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/dev/pylint-ci.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/dev/pylint-ci.sh b/scripts/dev/pylint-ci.sh index 75f358adf..0ae2cfd9a 100755 --- a/scripts/dev/pylint-ci.sh +++ b/scripts/dev/pylint-ci.sh @@ -3,6 +3,8 @@ PYLINT=${PYLINT:-pylint} "$PYLINT" --version "$PYLINT" --disable=C0103,C0302,C0301,C0330,E0401,E0611,E1101,E1133,E1136,R0201,R0901,R0904,R0912,R0913,R0914,R0915,R0916,R1702,R1710,W0201,W0212,W0221,W0223,W0231,W0233,W0603,W0613 "$@" +"$PYLINT" --disable=E0401 "$@/common/modules" + # C0103 invalid-name # C0301 line-too-long |