diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-04-30 15:52:35 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-30 15:52:35 +0000 |
commit | fd60b7284a78e3fe371dd90566f0cc316deaf4c4 (patch) | |
tree | 29181e89b29908fa83ad22c49a8c2bd628c7a750 /pylint | |
parent | 0b5defa5cfa4662d76cb01c90893c38428e3513c (diff) | |
download | pylint-git-fd60b7284a78e3fe371dd90566f0cc316deaf4c4.tar.gz |
Make sure a ``tool`` table is created in ``toml`` generation (#8638) (#8640)
Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>
(cherry picked from commit 434d49f69a65adf75c86dd9629ffbb6d8300df67)
Co-authored-by: Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com>
Diffstat (limited to 'pylint')
-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 2151aefde..ef1d0cc72 100644 --- a/pylint/config/arguments_manager.py +++ b/pylint/config/arguments_manager.py @@ -704,8 +704,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, |