From d8f480b83d0a2bdd10512eed9f9fe8a5623b79e5 Mon Sep 17 00:00:00 2001 From: Luca Lombardo Date: Sat, 13 Jan 2024 16:02:08 +0100 Subject: [PATCH] removeproofs script --- README.md | 20 ++++++++++++++++---- removeproofs | 14 ++++++++++++++ 2 files changed, 30 insertions(+), 4 deletions(-) create mode 100755 removeproofs diff --git a/README.md b/README.md index d343966..027d800 100644 --- a/README.md +++ b/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 @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 ) 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 ) 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` — [@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` — [@Fran314](https://git.phc.dm.unipi.it/Fran314) @@ -71,3 +71,15 @@ Questa repository contiene i seguenti script: - `pdfcompress` — [@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` — [@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" + -- 2.30.2