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

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

link text