diff options
| author | Daniël van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-10-02 09:50:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-02 09:50:59 +0200 |
| commit | 1a9626a8d0b6a54ac113ab9548177e40e215219f (patch) | |
| tree | 92acb932ba94e9bc8fec968d8c16c052d3987988 /pylint/config | |
| parent | 629129557af46c31b9d9f0d9024ef60e25fadf6a (diff) | |
| download | pylint-git-1a9626a8d0b6a54ac113ab9548177e40e215219f.tar.gz | |
Fix handling of ``--`` as separator between positional args and flags (#7551)
Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>
Diffstat (limited to 'pylint/config')
| -rw-r--r-- | pylint/config/config_initialization.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/pylint/config/config_initialization.py b/pylint/config/config_initialization.py index 7b412f9c2..b903a5802 100644 --- a/pylint/config/config_initialization.py +++ b/pylint/config/config_initialization.py @@ -72,12 +72,17 @@ def _config_initialization( # the configuration file parsed_args_list = linter._parse_command_line_configuration(args_list) + # Remove the positional arguments separator from the list of arguments if it exists + try: + parsed_args_list.remove("--") + except ValueError: + pass + # Check if there are any options that we do not recognize unrecognized_options: list[str] = [] for opt in parsed_args_list: if opt.startswith("--"): - if len(opt) > 2: - unrecognized_options.append(opt[2:]) + unrecognized_options.append(opt[2:]) elif opt.startswith("-"): unrecognized_options.append(opt[1:]) if unrecognized_options: |