E' possibile fare una cosa del genere?

awk '/PIPPO/ { print $0 }' << head -1 prova_luca.txt

non funziona