Merge pull request 'removeproofs script' (#2) from removeproofs into main

Reviewed-on: #2

README.md

@@ -18,7 +18,7 @@ Questa repository contiene i seguenti script:
     ```bash shell
     $ curl -LO "https://git.phc.dm.unipi.it/phc/dm-scripts/raw/branch/main/install-llm-web-interface"
     $ chmod +x install-llm-web-interface
-    
+
     # La prima volta che lo si esegue, bisogna installare i pacchetti necessari
     $ ./install-llm-web-interface
 
@@ -27,14 +27,14 @@ Questa repository contiene i seguenti script:
     ```
 
     Nel frattempo, è possibile usare LLM in locale aprendo il browser all'indirizzo `http://localhost:8080` oppure se si sta usando ssh aprendo un tunnel con
-    
+
     ```bash shell
     $ ssh -L 8080:localhost:8080 <username>@a3-dott8.cs.dm.unipi.it
     ```
 
     e poi aprendo il browser all'indirizzo `http://localhost:8080`.
 
-    Una volta nell'interfaccia web si può scaricare un modello di LLM (ad esempio <https://huggingface.co/TheBloke/Orca-2-7B-GGUF>) andando nella tab "Models" ed inserendo l'ID da huggingface (e.g. `TheBloke/Orca-2-7B-GGUF` ed il nome del singolo file `orca-2-7b.Q5_K_M.gguf`), poi premere "Refresh" e poi "Load" nella lista dei modelli per selezionarlo (conviene tenere sotto'occhio il terminare per vedere quando ha finito di scaricare il modello). Una volta caricato il modello, si può andare in "Chat" per usarlo. 
+    Una volta nell'interfaccia web si può scaricare un modello di LLM (ad esempio <https://huggingface.co/TheBloke/Orca-2-7B-GGUF>) andando nella tab "Models" ed inserendo l'ID da huggingface (e.g. `TheBloke/Orca-2-7B-GGUF` ed il nome del singolo file `orca-2-7b.Q5_K_M.gguf`), poi premere "Refresh" e poi "Load" nella lista dei modelli per selezionarlo (conviene tenere sotto'occhio il terminare per vedere quando ha finito di scaricare il modello). Una volta caricato il modello, si può andare in "Chat" per usarlo.
 
 -   `printa4` &mdash; [@BachoSeven](https://git.phc.dm.unipi.it/BachoSeven)
 
@@ -55,7 +55,7 @@ Questa repository contiene i seguenti script:
     -   diversi tipi di paper size (A4 di default, per poter mandare in stampa senza dover mettere "fit-to-page")
     -   aggiunta di un bordo interno (a sinistra per le pagine dispari, a destra per le pagine pari) per la rilegatura
     -   pipe da stdin / a stdout
-    
+
     Dipendenze: `PyPDF2`
 
 -   `pokepixel` &mdash; [@Fran314](https://git.phc.dm.unipi.it/Fran314)
@@ -71,3 +71,15 @@ Questa repository contiene i seguenti script:
 -   `pdfcompress` &mdash; [@aziis98](https://git.phc.dm.unipi.it/aziis98) (script preso in prestito [da questa repo](https://git.phc.dm.unipi.it/aziis98/chatgpt-scripts/src/branch/main/bin/pdfcompress2))
 
     Comprime un PDF vettorizzato (ad esempio note scritte su un iPad) utilizzando poppler (file di ~100MB diventa tranquillamente di ~10MB)
+
+-   `removeproofs` &mdash; [@lukefleed](https://git.phc.dm.unipi.it/lukefleed)
+
+    Rimuove le dimostrazioni da un file `.tex`, utile per creare piccoli cheat sheet da portare agli esami dove è consentito portare materiale di studio.
+
+    Utilizzo:
+
+    ```bash
+    removeproofs <file.tex>
+    ```
+
+    Questo script è stato utilizzato per creare dei riassunti di Geometria 2 da delle dispense più complete: [G2-cheat-sheet](https://github.com/lukefleed/G2-cheat-sheet)

removeproofs

@@ -0,0 +1,14 @@
+#!/bin/bash
+
+if [ $# -ne 1 ]; then
+  echo "Usage: $0 <input_tex_file>"
+  exit 1
+fi
+
+input_file=$1
+output_file="${input_file%.tex}_without_proofs.tex"
+
+awk '/\\begin{proof}/, /\\end{proof}/ {next} 1' "$input_file" > "$output_file"
+
+echo "Lines between \\begin{proof} and \\end{proof} have been removed. Output saved to: $output_file"
+