http://bash-edit.com/what-does-awk-mean-in-bash