Ciao a tutti. Ho un file pdf di circa 6/7 MB ed avrei la necessità di ricercare un nome specifico nel suo interno e stampare solo le pagine che contengono quel nome. "Ingegnandomi", si fa per dire, sono riuscito a fare questo: "#!/bin/bash pdfgrep -in "pippo" .pdf > prova.txt sed -i 's/://g;s/ //g;s/pippo//g' ~/prova.txt sed -i "s/$/ /g" prova.txt cat prova.txt | tr -d "\n" > prova1.txt sed -i 's/ $//' prova1.txt pdftk prova.pdf cat < prova1.txt output pippo.pdf rm *.txt exit" (ovviamente senza "" virgolette :-)) I comandi corrispondenti alla riga #1 e #2 funzionano bene, mentre il terzo non viene eseguito e il file pdf che genera (pippo.pdf) è identico a quello iniziale (prova.pdf). È come se non eseguisse il comando alla riga #3.... Mentre se provo ad eseguire il comando alla riga #3 sul terminale e gli sostituisco i valori contenuti nel file prova.txt, funziona. Mi spiego meglio: Le prime due righe mi creano il file prova.txt con all'interno le pagina dove trova la stringa "pippo" in questo formato: 16 19 23 27 La riga #3 non funziona ma da terminale se scrivo: pdftk prova.pdf cat 16 19 23 27 output pippo.pdf, funziona. Dove sbaglio? Grazie a tutti. Marco |
Ciao Nessuno che mi può dare una mano? ...sbaglio qualcosa? Grazie |
Segui questa domanda
Via email:Una volta eseguito l'accesso potrai iscriverti a tutti gli aggiornamenti qui
Via RSS:Basi di markdown
- *corsivo* o __corsivo__
- **grassetto** o __grassetto__
- collegamento:[testo](http://url.com/ "titolo")
- immagine?
- elenco numerato: 1. Foo 2. Bar
- per aggiungere un'interruzione di riga, aggiungi due spazi a fine riga e premi «Invio»
- è supportato anche semplice HTML
Tag:
domanda posta: 26 Nov '19, 14:17
domanda visualizzata: 1,221 volte
ultimo aggiornamento: 29 Dec '19, 18:48