diff options
| author | Batuhan's Unmaintained Account <batuhanosmantaskaya@gmail.com> | 2018-09-23 12:12:27 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-23 12:12:27 -0400 |
| commit | c7d903b77e93f70849d7fdcbefc2a8831006c4dd (patch) | |
| tree | 354e907a9f0e38e256731d274bd5b506f1ac1bc9 /plugins/python/python.plugin.zsh | |
| parent | 627393eadaf715adcf8308cd2e6b93413dfae72d (diff) | |
| download | zsh-c7d903b77e93f70849d7fdcbefc2a8831006c4dd.tar.gz zsh-c7d903b77e93f70849d7fdcbefc2a8831006c4dd.tar.bz2 zsh-c7d903b77e93f70849d7fdcbefc2a8831006c4dd.zip | |
Remove Optional Static Type Checker's (mypy) Cache Files on `pyclean`
Remove Optional Static Type Checker's (mypy) Cache Files on `pyclean`
Diffstat (limited to 'plugins/python/python.plugin.zsh')
| -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 |