Editar: para imprimir em arquivos separados:
/FUELHH/ {print > "fuelhh.txt"}
/FUELINST/ {print > "fuelinst.txt"}
Como pullhh.txt
é na verdade um script awk, a extensão txt
é enganosa. Use algo como extract_lines.awk
e, em seguida:
awk -f extract_lines.awk datafile