Command for AWK

I have been always in search for the command to run AWK script. To ease my job next time, I should have put in here too.. :)

The command is:

awk -f awkfilename tracefilename > outputfilename