We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ce5b7e5 commit 0850509Copy full SHA for 0850509
1 file changed
src/ci/scripts/free-disk-space.sh
@@ -4,13 +4,10 @@
4
# # ======
5
# MACROS
6
# ======
7
-
+set -e
8
fast_rmdir() {
9
-if [[ -d "$1" ]] && [[ -n "$1" ]] && [[ ! "$1" = "/" ]] && [[ ! "$1" = "~" ]]; then
10
- echo "Removing directory: $1"
11
- sudo find "$1" -type f -delete -print | wc -l
12
- sudo rm -rf "$1"
13
-fi
+ cd "$@"
+ sudo perl -e 'for(<*>){((stat)[9]<(unlink))}'
14
}
15
16
list_installed_dpkg() {
0 commit comments