Файл с разделителями подмножеств по подмножеству одного столбца

Question

У меня есть текстовый файл (назовите его infile.txt), где столбцы имеют заголовки и разделяются точкой с запятой. Подмножество этого воспроизводится ниже:

SCHCD;  SCHNAME
13110208001;    GOVT MIDSCHOOL 
10110208002;    GOVT HIGHSCHOOL 
21110208101;    MATRIC
21110208102;    UPPER SECONDARY
13110208201;    SECONDARY

Я хочу подмножество файла, в котором первые два символа «SCHCD» - это «13». Поэтому мое подмножество (назовите его outfile.txt) должно выглядеть так:

SCHCD;  SCHNAME
13110208001;    GOVT MIDSCHOOL 
13110208201;    SECONDARY

Answer 1

С awk:

awk ' NR == 1 || /^13/ ' infile.txt > outfile.txt