mirror of
https://fuchsia.googlesource.com/third_party/github.com/pylint-dev/pylint
synced 2024-09-21 07:58:04 +00:00
bd4d65ec0c
We do support plugins that have the same name, but when both of them are adding options that can be used, pylint crashes, since it already processed the options of the first plugin, introducing the plugin section in the configuration. The patch verifies that an option group already exists and if so, it does not add the same section twice, thus avoiding the duplicate section error.
7 lines
113 B
Plaintext
7 lines
113 B
Plaintext
[MASTER]
|
|
load-plugins=dummy_plugin
|
|
|
|
[DUMMY_PLUGIN]
|
|
dummy_option_1="dummy value 1"
|
|
dummy_option_2="dummy value 2"
|