Files
gen_data/pulisci.sh
T

14 lines
347 B
Bash
Raw Normal View History

#!/usr/bin/env bash
# Elimina i dati generati: svuota la cartella output/ (la cartella resta).
set -euo pipefail
cd "$(dirname "$0")"
if [ ! -d output ]; then
echo "Niente da pulire: la cartella output/ non esiste."
exit 0
fi
n=$(find output -mindepth 1 | wc -l)
find output -mindepth 1 -delete
echo "Eliminati $n elementi da output/."