Replace usage of free-disk-space github action with free-disk-space script

Author: whiteio

.github/workflows/ci.yml

@@ -109,7 +109,7 @@ jobs:
       # intensive jobs to run on free runners, which however also have
       # less disk space.
       - name: free up disk space
-        uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be
+        run: src/ci/scripts/free-disk-space.sh
         if: matrix.free_disk
 
       # Rust Log Analyzer can't currently detect the PR number of a GitHub

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

@@ -5,6 +5,18 @@
 # MACROS
 # ======
 
+fast_rmdir() {
+if [[ -d "$1" ]] && [[ -n "$1" ]] && [[ ! "$1" = "/" ]] && [[ ! "$1" = "~" ]]; then
+    echo "Removing directory: $1"
+    sudo find "$1" -type f -delete -print | wc -l
+    sudo rm -rf "$1"
+fi
+}
+
+list_installed_dpkg() {
+    dpkg --get-selections $@ | grep -v deinstall | awk '{print $1}'
+}
+
 # macro to print a line of equals
 # # (silly but works)
 printSeparationLine() {
@@ -23,11 +35,10 @@ printSeparationLine() {
 # macro to compute available space
 # REF: https://unix.stackexchange.com/a/42049/60849
 # REF: https://stackoverflow.com/a/450821/408734
-getAvailableSpace() { df -a "$1" | awk 'NR > 1 {avail+=$4} END {print avail}'; }
-
+getAvailableSpace() { echo $(df -a $1 | awk 'NR > 1 {avail+=$4} END {print avail}'); }
 # macro to make Kb human readable (assume the input is Kb)
 # REF: https://unix.stackexchange.com/a/44087/60849
-formatByteCount() { numfmt --to=iec-i --suffix=B --padding=7 "$1"'000'; }
+formatByteCount() { echo $(numfmt --to=iec-i --suffix=B --padding=7 $1'000'); }
 
 # macro to output saved space
 printSavedSpace() {
@@ -80,7 +91,7 @@ echo ""
 # Remove Android library
 BEFORE=$(getAvailableSpace)
 
-sudo rm -rf /usr/local/lib/android || true
+fast_rmdir /usr/local/lib/android || true
 
 AFTER=$(getAvailableSpace)
 SAVED=$((AFTER-BEFORE))
@@ -91,7 +102,7 @@ printSavedSpace $SAVED "Android library"
 BEFORE=$(getAvailableSpace)
 
 # https://github.community/t/bigger-github-hosted-runners-disk-space/17267/11
-sudo rm -rf /usr/share/dotnet || true
+fast_rmdir /usr/share/dotnet || true
 
 AFTER=$(getAvailableSpace)
 SAVED=$((AFTER-BEFORE))
@@ -100,8 +111,8 @@ printSavedSpace $SAVED ".NET runtime"
 # Remove Haskell runtime
 BEFORE=$(getAvailableSpace)
 
-sudo rm -rf /opt/ghc || true
-sudo rm -rf /usr/local/.ghcup || true
+fast_rmdir /opt/ghc || true
+fast_rmdir /usr/local/.ghcup || true
 
 AFTER=$(getAvailableSpace)
 SAVED=$((AFTER-BEFORE))
@@ -112,17 +123,19 @@ printSavedSpace $SAVED "Haskell runtime"
 
 BEFORE=$(getAvailableSpace)
 
-sudo apt-get remove -y '^aspnetcore-.*' || echo "::warning::The command [sudo apt-get remove -y '^aspnetcore-.*'] failed to complete successfully. Proceeding..."
-sudo apt-get remove -y '^dotnet-.*' --fix-missing || echo "::warning::The command [sudo apt-get remove -y '^dotnet-.*' --fix-missing] failed to complete successfully. Proceeding..."
-sudo apt-get remove -y '^llvm-.*' --fix-missing || echo "::warning::The command [sudo apt-get remove -y '^llvm-.*' --fix-missing] failed to complete successfully. Proceeding..."
-sudo apt-get remove -y 'php.*' --fix-missing || echo "::warning::The command [sudo apt-get remove -y 'php.*' --fix-missing] failed to complete successfully. Proceeding..."
-sudo apt-get remove -y '^mongodb-.*' --fix-missing || echo "::warning::The command [sudo apt-get remove -y '^mongodb-.*' --fix-missing] failed to complete successfully. Proceeding..."
-sudo apt-get remove -y '^mysql-.*' --fix-missing || echo "::warning::The command [sudo apt-get remove -y '^mysql-.*' --fix-missing] failed to complete successfully. Proceeding..."
-sudo apt-get remove -y azure-cli google-chrome-stable firefox powershell mono-devel libgl1-mesa-dri --fix-missing || echo "::warning::The command [sudo apt-get remove -y azure-cli google-chrome-stable firefox powershell mono-devel libgl1-mesa-dri --fix-missing] failed to complete successfully. Proceeding..."
-sudo apt-get remove -y google-cloud-sdk --fix-missing || echo "::debug::The command [sudo apt-get remove -y google-cloud-sdk --fix-missing] failed to complete successfully. Proceeding..."
-sudo apt-get remove -y google-cloud-cli --fix-missing || echo "::debug::The command [sudo apt-get remove -y google-cloud-cli --fix-missing] failed to complete successfully. Proceeding..."
-sudo apt-get autoremove -y || echo "::warning::The command [sudo apt-get autoremove -y] failed to complete successfully. Proceeding..."
-sudo apt-get clean || echo "::warning::The command [sudo apt-get clean] failed to complete successfully. Proceeding..."
+pkgs=$(list_installed_dpkg 'microsoft-edge-*' 'snapd-*' 'aspnetcore-*' 'dotnet-*' 'llvm-*' '*php*' 'mongodb-*' 'mysql-*' azure-cli google-chrome-stable firefox powershell mono-devel libgl1-mesa-dri 'google-cloud-*' 'gcloud-*' || true)
+gcloud_prerm='#!/bin/sh
+echo $0
+if [ -d "/usr/lib/google-cloud-sdk" ]; then
+    echo "Cleaning Google Cloud CLI files..."
+    find /usr/lib/google-cloud-sdk -type f -delete -print | wc -l
+    rm -rf /usr/lib/google-cloud-sdk
+    echo "Cleaning Google Cloud CLI manuals..."
+    find /usr/share/man -type f -name "gcloud*" -delete -print | wc -l
+fi'
+echo "$gcloud_prerm" | sudo tee /var/lib/dpkg/info/google-cloud-cli-anthoscli.prerm >/dev/null
+echo "$gcloud_prerm" | sudo tee /var/lib/dpkg/info/google-cloud-cli.prerm >/dev/null
+sudo apt-get remove --autoremove -y $pkgs || echo "::warning::The command [sudo apt-get remove -y] failed to complete successfully. Proceeding..."
 
 AFTER=$(getAvailableSpace)
 SAVED=$((AFTER-BEFORE))