[問題] awk 切檔問題

[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僅能做到

awk 'BEGIN{RS="TIF"} (NR-1){print $0 > ("output-file_" NR)}' 123.txt

輸出內容為：

 xc= 30000 yc=30000
Hole x y
1 234 2354
2 234 2354


不知道要如何改善  再麻煩給點提示了

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.195.222.114
※ 文章網址: https://www.ptt.cc/bbs/Linux/M.1456321739.A.8A2.html
→ Gold740716: 看不懂
→ girl5566: 已嘗試修改  在麻煩大家回答一下了
※ 編輯: girl5566 (123.195.222.114), 02/25/2016 00:22:06
推 CaptainH: 隨便一種語言都輕鬆能做到，幹嘛一定要用AWK?
→ Neisseria: 如果檔案都是四行為一單位，用 split -l 4 即可
→ girl5566: 因為有測試過 awk的切割速度較快 awk切1.2G的檔4秒
→ girl5566: python 大約需要21秒  以.TIF來切割的話
→ kenduest: python ? 應該是 code 的寫法不佳？
→ kenduest: split 就可以達成，不需要特別寫程式
→ kenduest: split 也可以指定輸出的檔案前綴字串