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