fz0x1/HPI
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

general: update mypy config, seems that logs of type: ignore aren't necessary anymore

Browse source
This commit is contained in:
Dima Gerasimov 2023-05-15 21:53:33 +01:00
parent 8fc4951c57
commit fe2c99f037
52 changed files with 142 additions and 105 deletions
Download patch file Download diff file Expand all files Collapse all files

6
my/core/core_config.py
View file

@ -7,16 +7,16 @@ from typing import Sequence, Optional
from . import warnings, PathIsh, Path
try:
from my.config import core as user_config # type: ignore[attr-defined]
from my.config import core as user_config # type: ignore[attr-defined]
except Exception as e:
try:
from my.config import common as user_config # type: ignore[attr-defined, assignment, misc]
from my.config import common as user_config # type: ignore[attr-defined]
warnings.high("'common' config section is deprecated. Please rename it to 'core'.")
except Exception as e2:
# make it defensive, because it's pretty commonly used and would be annoying if it breaks hpi doctor etc.
# this way it'll at least use the defaults
# todo actually not sure if needs a warning? Perhaps it's okay without it, because the defaults are reasonable enough
user_config = object # type: ignore[assignment, misc]
user_config = object
_HPI_CACHE_DIR_DEFAULT = ''