diff options
-rw-r--r-- | home/profiles/dev.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/home/profiles/dev.nix b/home/profiles/dev.nix index 277c8f0..e2806ab 100644 --- a/home/profiles/dev.nix +++ b/home/profiles/dev.nix @@ -46,6 +46,7 @@ in PIP_LOG = "${cacheHome}/pip/pip.log"; PYLINTHOME = "${cacheHome}/pylint"; PYTHON_EGG_CACHE = "${cacheHome}/python-eggs"; + MYPY_CACHE_DIR = "${cacheHome}/mypy"; CARGO_HOME = "${dataHome}/cargo"; }; } |