Script bash: apertura e lettura da FILE

[Smoke666]

Ho optato per questa riga:

echo $((`grep -Po '(?<=PIPPO )[0-9]+' /tmp/s.txt | tr '\n' +`0))

Che stampa perfettamente il tutto ;-)