fixed merge in readme

main
Luca Lombardo 10 months ago
commit 5310ac5f2f

@ -81,3 +81,15 @@ Questa repository contiene i seguenti script:
```bash ```bash
sudo apt install libreoffice default-jre libreoffice-java-common 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 <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)

@ -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"
Loading…
Cancel
Save