Commit 30fc670
committed
Accept duplicate entries in INI config files
Rationale:
1. The `-D` command line option can be specified multiple times.
It makes sense to be able to specify the respective config file
option `dictionary` multiple times too.
2. While specifying an option multiple times might be an error,
setting strict to `True` catches duplicates only within a single
INI file, not across multiple INI files. If we are serious about
handling duplicate options, we should therefore handle that
manually, distinguishing options that can be duplicated or not.1 parent 55fe256 commit 30fc670
1 file changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
541 | 541 | | |
542 | 542 | | |
543 | 543 | | |
544 | | - | |
| 544 | + | |
545 | 545 | | |
546 | 546 | | |
547 | 547 | | |
| |||
571 | 571 | | |
572 | 572 | | |
573 | 573 | | |
574 | | - | |
| 574 | + | |
575 | 575 | | |
576 | 576 | | |
577 | 577 | | |
| |||
0 commit comments