From 395f0b63783e5babf4e87dc3d356a42610cc7287 Mon Sep 17 00:00:00 2001
From: Franck Cuny <franck@fcuny.net>
Date: Fri, 2 Jun 2023 19:42:55 -0700
Subject: profiles/dev: set MYPY_CACHE_DIR

---
 home/profiles/dev.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'home')

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";
   };
 }
-- 
cgit 1.4.1