Script ricerca stringa su pdf e stampa pagine relative

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

link text