diff --git a/README.md b/README.md index af0bbce..04270cc 100644 --- a/README.md +++ b/README.md @@ -81,3 +81,15 @@ Questa repository contiene i seguenti script: ```bash sudo apt install libreoffice default-jre libreoffice-java-common ``` + +- `removeproofs` — [@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 + ``` + + 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) diff --git a/removeproofs b/removeproofs new file mode 100755 index 0000000..06c810b --- /dev/null +++ b/removeproofs @@ -0,0 +1,14 @@ +#!/bin/bash + +if [ $# -ne 1 ]; then + echo "Usage: $0 " + 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" +