diff --git a/clear.sh b/clear.sh new file mode 100644 index 0000000..a2bff59 --- /dev/null +++ b/clear.sh @@ -0,0 +1,12 @@ +#!/usr/bin/env bash +# Elimina tutti i file generati dagli script (data.csv escluso). +set -euo pipefail +shopt -s nullglob + +cd "$(dirname "$0")" + +rm -f report_completo.tex report_completo.pdf +rm -f start/*.md start/*.png +rm -f induttore*/*.md induttore*/*.png + +echo "File generati eliminati."