如何获取文件中的特定数据并将其输出定向到新文件？

Question

我有一个这样的文件：

“>

我想获取文件的学校部分，并将其放入新文件中。

新文件中的输出应如下所示：

School

Texas high,SA high,Plano tech

我有一个这样的文件：我想获取文件的学校部分，并将其放入新文件中。新文件中的输出应如下所示：School Texas high，SA high，Plano tech

Answer 1

如果您可以自己手动添加School标题，则以下awk脚本应该可以解决您的问题：