diff options
author | Nick Drozd <nicholasdrozd@gmail.com> | 2021-08-13 21:05:11 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-14 04:05:11 +0200 |
commit | a12242b2f44d5244bd1cacc6bc78df8c9c8e4296 (patch) | |
tree | 0e3bf7fd1a41ffa4bc415eaff3f4516d0406a242 /pylintrc | |
parent | 728d2588ece4fe0248e259efe506993eecf62bd6 (diff) | |
download | pylint-git-a12242b2f44d5244bd1cacc6bc78df8c9c8e4296.tar.gz |
Enable some Pylint extensions (#4842)
Diffstat (limited to 'pylintrc')
-rw-r--r-- | pylintrc | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -20,6 +20,9 @@ load-plugins= pylint.extensions.check_elif, pylint.extensions.bad_builtin, pylint.extensions.code_style, + pylint.extensions.overlapping_exceptions, + pylint.extensions.typing, + pylint.extensions.redefined_variable_type, # Use multiple processes to speed up Pylint. jobs=1 |