Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9665c32 commit 44f82efCopy full SHA for 44f82ef
1 file changed
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