From 7cea09aedca0450a1f1da9f1bc056b523b14aa23 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Sat, 1 Feb 2025 01:27:04 +0100 Subject: [PATCH] lint/py3clean --- sh/lint/lint.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/sh/lint/lint.sh b/sh/lint/lint.sh index a340d0a..9f34299 100644 --- a/sh/lint/lint.sh +++ b/sh/lint/lint.sh @@ -15,10 +15,14 @@ rwx_lint() { rwx_lint_clean() { local path="${1}" [ -n "${path}" ] || exit 1 - local tool + rwx_log "py3clean" + py3clean \ + --verbose \ + "${path}" set \ "mypy" \ "ruff" + local tool for tool in "${@}"; do rwx_log "${tool}" rwx_remove "${path}/.${tool}_cache"