Dump largest files on disk, not just in cwd.

Mark-Simulacrum · Mark-Simulacrum · commit dd6e41c24a3f · 2020-02-17T19:39:38.000-05:00
diff --git a/src/ci/scripts/dump-environment.sh b/src/ci/scripts/dump-environment.sh
@@ -17,3 +17,9 @@ set +o pipefail
 du . | sort -nr | head -n100
 set -o pipefail
 echo
+
+echo "biggest files:"
+set +o pipefail
+du -a / 2>/dev/null | sort -nr | head -n100
+set -o pipefail
+echo
