diff --git a/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/README.md b/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/README.md index 31021d8..3037dc1 100644 --- a/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/README.md +++ b/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/README.md @@ -3,6 +3,7 @@ - [Programma del corso 📘](https://unipi.coursecatalogue.cineca.it/insegnamenti/2025/50256_686307_66441/2008/50256/10299?coorte=2023&schemaid=8700) - [Registro del corso 📑](https://unimap.unipi.it/registri/dettregistriNEW.php?re=11083221::::&ri=8527) -Questa cartella contiene un recap completo di tutta la teoria del corso di *Geometria e topologia differenziale*. +Questa cartella contiene un recap completo di tutta la teoria del corso di *Geometria e topologia differenziale*. Il file `main.pdf` contiene tutta la +teoria, incluse le dimostrazioni; mentre `no_proofs.pdf` rimuove le dimostrazioni. Il progetto si basa su un layout di [Luca Lombardo](https://lukefleed.xyz/), utilizzato in particolare nelle [Schede riassuntive di Geometria 2](https://github.com/lukefleed/G2-cheat-sheet), basate sulle [dispense-capolavoro](https://www.overleaf.com/read/vsdktbwrgpth) di [Francesco Sorce](mailto:f.sorce@studenti.unipi.it). \ No newline at end of file diff --git a/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/generate_no_proofs.sh b/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/generate_no_proofs.sh new file mode 100755 index 0000000..d40fd5d --- /dev/null +++ b/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/generate_no_proofs.sh @@ -0,0 +1,67 @@ +#!/bin/bash + +# Configurazione nomi +TEMP_DIR="no_proofs_temp" +MAIN_FILE="main.tex" +PREAMBLE_FILE="preamble.tex" +OUTPUT_PDF="no_proofs.pdf" + +# 1. Crea la struttura della directory temporanea +mkdir -p "$TEMP_DIR/sections" + +# Funzione per rimuovere le proof usando awk +remove_proofs() { + local src=$1 + local dest=$2 + awk '/\\begin{proof}/, /\\end{proof}/ {next} 1' "$src" > "$dest" +} + +# 2. Elabora il file principale e il preambolo +if [ -f "$MAIN_FILE" ]; then + echo "Elaborazione $MAIN_FILE..." + remove_proofs "$MAIN_FILE" "$TEMP_DIR/$MAIN_FILE" +else + echo "Errore: $MAIN_FILE non trovato nella directory corrente." + exit 1 +fi + +if [ -f "$PREAMBLE_FILE" ]; then + echo "Elaborazione $PREAMBLE_FILE..." + remove_proofs "$PREAMBLE_FILE" "$TEMP_DIR/$PREAMBLE_FILE" +else + echo "Errore: $PREAMBLE_FILE non trovato nella directory corrente." + exit 1 +fi + +# 3. Elabora tutti i file nella cartella sections +if [ -d "sections" ]; then + echo "Elaborazione dei file in sections/..." + for f in sections/*.tex; do + if [ -f "$f" ]; then + remove_proofs "$f" "$TEMP_DIR/$f" + fi + done +fi + +# 4. Compilazione +echo "Compilazione in corso..." +cd "$TEMP_DIR" + +# Eseguiamo pdflatex (due volte per riferimenti/indice) +# -interaction=nonstopmode evita che lo script si blocchi in caso di warning +pdflatex -interaction=nonstopmode "$MAIN_FILE" > /dev/null +pdflatex -interaction=nonstopmode "$MAIN_FILE" + +# 5. Sposta il PDF nella directory originale e pulisci +if [ -f "main.pdf" ]; then + mv "main.pdf" "../$OUTPUT_PDF" + cd .. + echo "Successo! PDF generato: $OUTPUT_PDF" + + # Cancella i file temporanei + rm -rf "$TEMP_DIR" +else + echo "Errore durante la compilazione del PDF." + cd .. + exit 1 +fi \ No newline at end of file diff --git a/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/no_proofs.pdf b/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/no_proofs.pdf new file mode 100644 index 0000000..3dbe15c Binary files /dev/null and b/Corsi/Geometria e topologia differenziale/Scheda riassuntiva/no_proofs.pdf differ