Barrapunto

Pues no entiendo lo de gawk/awk. Si tienes gawk imagino que tu awk será gawk. En cualquier caso si has usado primero gawk, lo otro trambién va con gawk, así que no entiendo porqué usas awk.

Resumuendo... gawk o awk, pero ¿los dos?