Ehm... non ho provato il tuo script perche' comunque non ho il programma pero'.... a meno che abbia frainteso il problema, non hai bisogno di un programma scritto ad hoc giusto per estrarre i numeri delle linee dove la parola chiave e' presente, assieme al nome del file. Ti basta usare grep:
Ottieni un risultato tipo:codice:grep -inH parola file1 file2 file3 | cut -d ":" -f1-2
codice:file1:1 file1:2 file1:8 file1:14 file2:2 file2:3 file2:5 file3:1![]()