Current section
Files
Jump to
Current section
Files
examples/simple/cleanup.sh
#!/usr/bin/env bash
set -euo pipefail
base_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
rm -rf "${base_dir}/workspace"
rm -rf "${base_dir}/logs"
rm -f "${base_dir}/.progress"
echo "Cleaned: ${base_dir}/workspace ${base_dir}/logs ${base_dir}/.progress"