共通のヘッダを持つファイルを結合する小技

やりたいこと

1.dat

head1 head2 head3
1 2 3
4 5 6

2.dat

head1 head2 head3
7 8 9
10 11 12

3.dat

head1 head2 head3
13 14 15
16 17 18

↑こういったファイル群を

↓こうする

merged.dat

head1 head2 head3
1 2 3
4 5 6
7 8 9
10 11 12
13 14 15
16 17 18

方法

$ awk 'NR==1 || FNR!=1' [1-3].dat > merged.dat
# 処理しているファイル全体における最初の行(ここでは"1.dat"のヘッダ) or 各ファイルの最初の行以外を出力する。