diff options
author | Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com> | 2023-04-30 17:32:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-30 15:32:47 +0000 |
commit | 434d49f69a65adf75c86dd9629ffbb6d8300df67 (patch) | |
tree | 9ece93e63917ba35c85108d75a39d690192c6371 /pylint/config/arguments_manager.py | |
parent | 1cbc3d818b2b279747ef8d4222262fea4b21cccb (diff) | |
download | pylint-git-434d49f69a65adf75c86dd9629ffbb6d8300df67.tar.gz |
Make sure a ``tool`` table is created in ``toml`` generation (#8638)
Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>
Diffstat (limited to 'pylint/config/arguments_manager.py')
-rw-r--r-- | pylint/config/arguments_manager.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pylint/config/arguments_manager.py b/pylint/config/arguments_manager.py index 4bc891ea0..b99c9476f 100644 --- a/pylint/config/arguments_manager.py +++ b/pylint/config/arguments_manager.py @@ -303,8 +303,11 @@ class _ArgumentsManager: stdout. """ toml_doc = tomlkit.document() + tool_table = tomlkit.table(is_super_table=True) + toml_doc.add(tomlkit.key("tool"), tool_table) + pylint_tool_table = tomlkit.table(is_super_table=True) - toml_doc.add(tomlkit.key(["tool", "pylint"]), pylint_tool_table) + tool_table.add(tomlkit.key("pylint"), pylint_tool_table) for group in sorted( self._arg_parser._action_groups, |