more debug output

.github/actions/clean-disk/action.yml

@@ -43,6 +43,7 @@ runs:
             sudo apt-get remove -y 'php.*'
             sudo apt-get remove -y '^mongodb-.*'
             sudo apt-get remove -y '^mysql-.*'
+            sudo apt-get remove -y '^microsoft-.*'
             sudo apt-get remove -y azure-cli google-cloud-sdk google-chrome-stable firefox powershell mono-devel libgl1-mesa-dri
             sudo apt-get autoremove -y
             sudo apt-get clean
@@ -56,6 +57,7 @@ runs:
             sudo rm -rf /usr/local/share/chromium
             sudo rm -rf /usr/local/lib/android
             sudo rm -rf /usr/local/lib/node_modules
+            sudo rm -rf /opt/microsoft
             df -h
           fi
           emptydir=/tmp/empty$$/
@@ -78,7 +80,7 @@ runs:
         fi
         echo "::group::Available diskspace"
         time df -BM / /mnt
-        echo "250 largest directories of depth up to 3"
-        du -d 3 / 2>/dev/null | sort -n -r | head -n 250
+        echo "200 largest directories of depth up to 3"
+        du -h -d 3 / 2>/dev/null | sort -h -r 2>/dev/null | head -n 200
         echo "::endgroup::"
       shell: bash