You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Use ChainMap to rewrite the cmd options <- configuration file <- default configuration chain #1672
As title. A ChainMap keeps more information and is easier to debug.
At some point, we will need a better configuration system to fix issues like #996 mentioned.
Before executing a command, we need to merge the config from configuration file and the default configuration in defaults.py. In some scenarios, CLI arguments also have to be taken into account.
Right now, if I make a plugin, I can create custom settings, but they are not typed. Would this allow plugin to declare their own settings? example
Activity
bearomorphism commentedon Nov 27, 2025
This can be assigned to me, but probably I won't implement until other PRs are merged. There may be some dependencies.
bearomorphism commentedon Jan 19, 2026
I just created a poc #1812.