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 pdftk prova.pdf cat < prova.txt output pippo.pdf 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 |
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, 14:17
domanda visualizzata: 35 volte
ultimo aggiornamento: 26 Nov, 14:33