awk 切檔問題 - Linux

※ 引述《girl5566 (5566520)》之銘言：
: 想請教一下各位
: 我的檔案內容大致為
: http://140.113.134.148/123.txt
: 裡面大概有2千多個.TIF的內容
: 想依據個數來切割 分為五等分
: 希望的輸出內容為
: 123.TIF xc= 30000 yc=30000
: Hole x y
: 1 234 2354
: 2 234 2354
原文恕刪

awk 'BEGIN {n=1} {print $0 > ("output-file_" n);} (NR%4 == 0) {n++;}' 123.txt

--