Files
gen_data/pulisci.sh
T
2026-10-29 08:57:21 +01:00

15 lines
347 B
Bash
Executable File

#!/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/."