diff options
| author | Jubilee Young <workingjubilee@gmail.com> | 2024-08-30 19:28:58 -0700 |
|---|---|---|
| committer | Jubilee Young <workingjubilee@gmail.com> | 2024-08-30 20:51:52 -0700 |
| commit | 8da1c0049a550a7882436008ec5d02ff73024a4c (patch) | |
| tree | b2f4826fbc4dd083533c67c30ddf5b6f86ca81e3 | |
| parent | 6cb4768ddd2f40e6601e00585d1bb1f5ca82d465 (diff) | |
| download | rust-8da1c0049a550a7882436008ec5d02ff73024a4c.tar.gz rust-8da1c0049a550a7882436008ec5d02ff73024a4c.zip | |
ci: Take tail instead of head to avoid broken pipes
| -rwxr-xr-x | src/ci/scripts/dump-environment.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/ci/scripts/dump-environment.sh b/src/ci/scripts/dump-environment.sh index 812690181e9..7afaa472f6e 100755 --- 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 |