mirror of
https://github.com/ChristianLight/tutor.git
synced 2024-11-05 04:48:00 +00:00
336cb79fa8
I stumbled upon a bug that should have been detected by the type checking. Turns out, considering that config is of type Dict[str, Any] means that we can use just any method on all config values -- which is terrible. I discovered this after I set `config["PLUGINS"] = None`: this triggered a crash when I enabled a plugin. We resolve this by making the Config type more explicit. We also take the opportunity to remove a few cast statements. |
||
---|---|---|
.. | ||
commands | ||
templates | ||
__about__.py | ||
__init__.py | ||
bindmounts.py | ||
config.py | ||
env.py | ||
exceptions.py | ||
fmt.py | ||
images.py | ||
interactive.py | ||
jobs.py | ||
plugins.py | ||
serialize.py | ||
types.py | ||
utils.py |