小编Dan*_*Dan的帖子

我正在寻找一种工具或脚本（Textwrangler 或终端），它可以从第 5 行开始每 100 行拆分一个较大的文本文件（前 4 行是标题行）并输出包含原始标题的单个 .txt 文件。

例如

输入：

File.txt
line1 / line4   HEADER
...
line5 / line265 DATA

输出：

File_01.txt
line1/line4   HEADER
line5/line104 DATA

File_02.txt
line1/line4   HEADER
line5/line104 DATA

File_03.txt
line1/line4   HEADER
line5/line65  DATA

文本文件使用 Windows 换行符 (CR LF) 以防万一。

我目前正在手动执行此操作，因此非常欢迎任何可以提高此过程效率的建议。