check if directory exists

Author: marcoieni

src/ci/scripts/free-disk-space.sh

@@ -118,8 +118,8 @@ cleanPackages() {
 
     echo "=> Installed packages sorted by size:"
     # sort always fails because `head` stops reading stdin
-    dpkg-query -W --showformat='${Installed-Size} ${Package}\n' | \
-      sort -nr 2>/dev/null | head -200 || true
+    dpkg-query -W --showformat='${Installed-Size} ${Package}\n' |
+        sort -nr 2>/dev/null | head -200 || true
 }
 
 # Remove Docker images
@@ -158,14 +158,18 @@ removeUnusedDirectories() {
     local before
 
     for dir in "${dirs_to_remove[@]}"; do
+        if [ ! -d "$dir" ]; then
+            echo "::warning::Directory $dir does not exist, skipping."
+            continue
+        fi
         before=$(getAvailableSpace)
         sudo rm -rf "$dir" || true
         printSavedSpace "$before" "Removed $dir"
     done
 
     echo "=> largest directories:"
     # sort always fails because `head` stops reading stdin
-    sudo du --max-depth=7 /* -h | sort -nr 2>/dev/null  | head -1000 || true
+    sudo du --max-depth=7 /* -h | sort -nr 2>/dev/null | head -1000 || true
 }
 
 # Display initial disk space stats