lint/clean

This commit is contained in:
Marc Beninca 2025-02-03 19:42:09 +01:00
parent aaba7cbcc6
commit 7668ef8f47
Signed by: marc.beninca
GPG key ID: 9C7613450C80C24F

View file

@ -19,16 +19,13 @@ rwx_lint() {
rwx_lint_clean() {
local path="${1}"
[ -n "${path}" ] || return 1
rwx_log "" "py3clean"
py3clean \
--verbose \
"${path}"
rwx_log "" "clean" ""
py3clean "${path}"
set \
"mypy" \
"ruff"
local tool
for tool in "${@}"; do
rwx_log "" "${tool}"
rwx_remove "${path}/.${tool}_cache"
done
}