summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2021-04-09 19:28:41 +0200
committerPierre Sassoulas <pierre.sassoulas@gmail.com>2021-04-09 20:15:43 +0200
commitcd90e9ec218b4735c3406b757f48d4898a2aee5e (patch)
tree58b086b5e70ea0fa0ca0470712b3fa6f16b8f2d2
parenta029aa7f9c05b5b868155093067b8e7b1f0b953c (diff)
downloadpylint-git-cd90e9ec218b4735c3406b757f48d4898a2aee5e.tar.gz
Update pylint/config/option_manager_mixin.py
Co-authored-by: Marc Mueller <30130371+cdce8p@users.noreply.github.com>
-rw-r--r--pylint/config/option_manager_mixin.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/pylint/config/option_manager_mixin.py b/pylint/config/option_manager_mixin.py
index cd3849474..db75fa8f2 100644
--- a/pylint/config/option_manager_mixin.py
+++ b/pylint/config/option_manager_mixin.py
@@ -237,7 +237,8 @@ class OptionsManagerMixIn:
def read_config_file(self, config_file=None, verbose=None):
"""Read the configuration file but do not load it (i.e. dispatching
- values to each options provider)"""
+ values to each options provider)
+ """
help_level = 1
while help_level <= self._maxlevel:
opt = "-".join(["long"] * help_level) + "-help"