diff options
| author | Franck Cuny <franck@fcuny.net> | 2023-06-02 19:42:55 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2023-06-02 19:42:55 -0700 |
| commit | 395f0b63783e5babf4e87dc3d356a42610cc7287 (patch) | |
| tree | 647daa768503067ff0592e6be41e691fb5631444 /home | |
| parent | profiles/dev: install virtualenv (diff) | |
| download | infra-395f0b63783e5babf4e87dc3d356a42610cc7287.tar.gz | |
profiles/dev: set MYPY_CACHE_DIR
Diffstat (limited to 'home')
| -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"; }; } |