zed/script/clear-target-dir-if-larger-than
Peter Tripp 5b9916e34b
ci: Add shellcheck for scripts (#20631)
Fixes shellcheck errors in script/*
Adds a couple trailing newlines.
Adds `script/shellcheck-scripts` and associated CI machinery.
Current set ultra-conservative, does not output warnings, only errors.
2024-11-18 16:41:22 -05:00

25 lines
489 B
Bash
Executable file

#!/bin/bash
set -eu
if [[ $# -ne 1 ]]; then
echo "usage: $0 <MAX_SIZE_IN_GB>"
exit 1
fi
if ! [[ -d target ]]; then
echo "target directory does not exist yet"
exit 0
fi
max_size_gb=$1
current_size=$(du -s target | cut -f1)
current_size_gb=$(expr ${current_size} / 1024 / 1024)
echo "target directory size: ${current_size_gb}gb. max size: ${max_size_gb}gb"
if [[ ${current_size_gb} -gt ${max_size_gb} ]]; then
echo "clearing target directory"
rm -rf target
fi