ci: Take tail instead of head to avoid broken pipes

2024-08-30 19:28:58 -07:00 · 2024-08-30 19:28:58 -07:00 · 8da1c0049a
commit 8da1c0049a
parent 6cb4768ddd
1 changed files with 1 additions and 3 deletions
--- a/src/ci/scripts/dump-environment.sh
+++ b/src/ci/scripts/dump-environment.sh
@ -15,9 +15,7 @@ df -h
 echo

 echo "biggest files in the working dir:"
-set +o pipefail
-du . | sort -nr | head -n100
-set -o pipefail
+du . | sort -n | tail -n100 | sort -nr # because piping sort to head gives a broken pipe
 echo

 if isMacOS