Use rm -rv instead of rm -rf
- ID
e307a40- date
2025-06-17 10:01:18+00:00- author
Alex Chan <alex@alexwlchan.net>- parent
5916233- message
Use `rm -rv` instead of `rm -rf`- changed files
1 file, 2 additions, 2 deletions
Changed files
python/deploy_to_pypi (952) → python/deploy_to_pypi (952)
diff --git a/python/deploy_to_pypi b/python/deploy_to_pypi
index 177d616..e0a0a7a 100755
--- a/python/deploy_to_pypi
+++ b/python/deploy_to_pypi
@@ -14,8 +14,8 @@
set -o errexit
set -o nounset
-print_info '-> rm -rf dist/*'
-rm -rf dist/*
+print_info '-> rm -rv dist/*'
+rm -rv dist/*
echo ""