Можно ли включить переадресацию агента, если у вас есть ключ, конфликтующий с в known_hosts?

Вот еще вариант. Этот привязывается к символу ^L (. Я предполагаю, что это один символ, восьмеричный 014, а не два литерала ^ и L). Для вашего исходного файла данных с именем original.txtкаждая страница будет разделена на отдельный файл. Оттуда вы можете объединить их в необходимые куски:

# GNU csplit
csplit --prefix='page_' --digits=4 original.txt $'/\014/+1' '{*}'

# MKS csplit
csplit -f 'page_' -n 4 -k original.txt $'/\014/+1' '{9999}'

# Concatenate the required sets of pages together
cat page_{0000..0499} > part_1.txt
cat page_{0500..0999} > part_2.txt
cat page_{1000..9999} > part_3.txt

# Tidy up
rm page_????