A short tutorial on awk and its main features.