From e56415d5259c6c63fceddec60e85393f12c2f338 Mon Sep 17 00:00:00 2001 From: Bruno BELANYI Date: Sun, 8 Dec 2019 22:21:13 +0100 Subject: [PATCH] [ADD] Mypy configuration files --- Makefile | 2 ++ mypy/.config/mypy/config | 3 +++ 2 files changed, 5 insertions(+) create mode 100644 mypy/.config/mypy/config diff --git a/Makefile b/Makefile index ff5a745..e70b06e 100644 --- a/Makefile +++ b/Makefile @@ -4,6 +4,7 @@ CLI_PACKAGES := \ gdb \ git \ isort \ + mypy \ ranger \ scripts \ shell \ @@ -33,6 +34,7 @@ CLI_DEPENDENCIES := \ community/git-lfs \ community/lesspipe \ community/mosh \ + community/mypy \ community/pandoc \ community/shellcheck \ community/shfmt \ diff --git a/mypy/.config/mypy/config b/mypy/.config/mypy/config new file mode 100644 index 0000000..a5bb38a --- /dev/null +++ b/mypy/.config/mypy/config @@ -0,0 +1,3 @@ +[mypy] +# Set the default directory to put the increment cache info +cache_dir = ~/.cache/mypy