- Удалите заголовок и поместите его в отдельный файл
header.txt
. - разделить данные с помощью
split --lines=100 data.txt
(это генерирует много файлов с 100 строками в них, каждый из которых называется xaa xab xac и т. д.) - Затем добавьте заголовок к каждому файлу.
for a in x??; do cat header.txt $a > $a.txt; done
В результате ваши готовые файлы данных (с заголовками) будут вызыватьсяxaa.txt xab.txt xac.txt ...
Если объем данных настолько велик (или вы разбиваете на меньше строк), что xxx-файлов недостаточно, разделите четыре файла именованных файлов. В этом случае вставьте лишнее ?
в for
вышеизложенное.
Редактировать:
Для автоматизации извлечения заголовка используйте head -4 origdata.txt > header.txt
для извлечения первых четырех строк. Используйте, tail -n +4 origdata.txt > data.txt
чтобы извлечь все, кроме первых четырех строк. Теперь у вас есть два файла, один с заголовком и один с данными. Не должно быть слишком сложно объединить это со сценарием. (У меня нет доступа к Bash сегодня)