We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 53d071c commit 69df19dCopy full SHA for 69df19d
mypy/defaults.py
@@ -17,9 +17,10 @@
17
CONFIG_NAMES: Final = ["mypy.ini", ".mypy.ini"]
18
SHARED_CONFIG_NAMES: Final = ["pyproject.toml", "setup.cfg"]
19
20
-USER_CONFIG_FILES: Final = ["~/.config/mypy/config", "~/.mypy.ini"]
+USER_CONFIG_FILES: list[str] = ["~/.config/mypy/config", "~/.mypy.ini"]
21
if os.environ.get("XDG_CONFIG_HOME"):
22
USER_CONFIG_FILES.insert(0, os.path.join(os.environ["XDG_CONFIG_HOME"], "mypy/config"))
23
+USER_CONFIG_FILES = [os.path.expanduser(f) for f in USER_CONFIG_FILES]
24
25
# This must include all reporters defined in mypy.report. This is defined here
26
# to make reporter names available without importing mypy.report -- this speeds
0 commit comments