From 6f09c548a39ca62684e81d3f65c43cb1345538b4 Mon Sep 17 00:00:00 2001 From: rydesun Date: Thu, 27 Feb 2020 12:00:44 +0800 Subject: [PATCH] Update pam_environemnt: add mypy --- .pam_environment | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.pam_environment b/.pam_environment index 4ef8182..afa7ce5 100644 --- a/.pam_environment +++ b/.pam_environment @@ -46,6 +46,8 @@ IPYTHONDIR DEFAULT=${XDG_CONFIG_HOME}/jupyter JUPYTER_CONFIG_DIR DEFAULT=${XDG_CONFIG_HOME}/jupyter # pylint PYLINTHOME DEFAULT=${XDG_CACHE_HOME}/pylint +# mypy +MYPY_CACHE_DIR DEFAULT=${XDG_CACHE_HOME}/mypy # npm NPM_CONFIG_USERCONFIG DEFAULT=${XDG_CONFIG_HOME}/npm/npmrc