次のような入力テキスト ファイルがあります。
12717251268292797123831987-->Header
a1921972998468104998676534716
17923862384623647864723467631
28791379370982379807821876843
23767891263716387928371836183
32189378913681698677676372876
28168961846349876479864210986
12541521---->tail
ここで、上記のファイルを2 つの異なるテキスト ファイルに分割します。
UNIXシェルスクリプトを使用してそれを行う方法を誰かに提案してもらえますか?