awk

• Getting a group of lines from a file May 19, 2014 - 1 min read