diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2018-09-24 13:39:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-24 13:39:06 +0200 |
| commit | 096ef3e6a77e64f58578c2ecd5e831782944c473 (patch) | |
| tree | 354e907a9f0e38e256731d274bd5b506f1ac1bc9 /plugins/python | |
| parent | 627393eadaf715adcf8308cd2e6b93413dfae72d (diff) | |
| parent | c7d903b77e93f70849d7fdcbefc2a8831006c4dd (diff) | |
| download | zsh-096ef3e6a77e64f58578c2ecd5e831782944c473.tar.gz zsh-096ef3e6a77e64f58578c2ecd5e831782944c473.tar.bz2 zsh-096ef3e6a77e64f58578c2ecd5e831782944c473.zip | |
python: remove mypy caches on `pyclean` (#7151)
Remove Optional Static Type Checker's (mypy) cache files
Diffstat (limited to 'plugins/python')
| -rw-r--r-- | plugins/python/python.plugin.zsh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/python/python.plugin.zsh b/plugins/python/python.plugin.zsh index a10c06fd3..f754ea261 100644 --- a/plugins/python/python.plugin.zsh +++ b/plugins/python/python.plugin.zsh @@ -1,12 +1,13 @@ # Find python file alias pyfind='find . -name "*.py"' -# Remove python compiled byte-code in either current directory or in a +# Remove python compiled byte-code and mypy cache in either current directory or in a # list of specified directories function pyclean() { ZSH_PYCLEAN_PLACES=${*:-'.'} find ${ZSH_PYCLEAN_PLACES} -type f -name "*.py[co]" -delete find ${ZSH_PYCLEAN_PLACES} -type d -name "__pycache__" -delete + find ${ZSH_PYCLEAN_PLACES} -type d -name ".mypy_cache" -delete } # Grep among .py files |