New, documented pylint configuration

The pylint configuration in .pylint was a modified version of the
output of `pylint --generate-rcfile` from an unknown version of
pylint. Replace it with a file that only contains settings that are
modified from the default, with an explanation of why each setting is
modified.

The new .pylintrc was written from scratch, based on the output of
pylint on the current version of the files and on a judgement of what
to silence generically, what to silence on a case-by-case basis and
what to fix.
This commit is contained in:
Gilles Peskine 2019-02-25 20:17:33 +01:00
parent 6f76795bf5
commit 5612a9372b
3 changed files with 55 additions and 428 deletions

View file

@ -10,9 +10,9 @@
# PEP8 coding standards.
if `hash pylint > /dev/null 2>&1`; then
pylint -j 2 tests/scripts/generate_test_code.py --rcfile .pylint
pylint -j 2 tests/scripts/test_generate_test_code.py --rcfile .pylint
pylint -j 2 tests/scripts/mbedtls_test.py --rcfile .pylint
pylint -j 2 tests/scripts/generate_test_code.py
pylint -j 2 tests/scripts/test_generate_test_code.py
pylint -j 2 tests/scripts/mbedtls_test.py
else
echo "$0: WARNING: 'pylint' not found! Skipping checks on Python files."
fi