Searched refs:USER_CONFIG_FILES (Results 1 – 2 of 2) sorted by relevance
12 USER_CONFIG_FILES = ['~/.config/mypy/config', '~/.mypy.ini', ] # type: Final variable14 USER_CONFIG_FILES.insert(0, os.path.join(os.environ['XDG_CONFIG_HOME'], 'mypy/config'))17 USER_CONFIG_FILES) # type: Final
149 CONFIG_FILES = [CONFIG_FILE, ] + SHARED_CONFIG_FILES + USER_CONFIG_FILES # type: Final324 + USER_CONFIG_FILES