Я хочу вырезать кусок строки из большого текстового файла. Я знаю номер начала и конца строки. Какой самый элегантный способ вывести содержимое (строки между A и B) в какой-либо файл?
Я знаю команды головы и хвоста - есть ли еще более быстрый (один шаг) способ?
Файл имеет размер более 5 ГБ и содержит более 81 млн. Строк.
ОБНОВЛЕНО : результаты
time sed -n 79224100,79898190p BIGFILE.log > out4.log
real 1m9.988s
time tail -n +79224100 BIGFILE.log | head -n +`expr 79898190 - 79224100` > out1.log
real 1m11.623s
time perl fileslice.pl BIGFILE.log 79224100 79898190 > out2.log
real 1m13.302s
time python fileslice.py 79224100 79898190 < BIGFILE.log > out3.log
real 1m13.277s
Победитель sed . Самый быстрый, самый короткий. Я думаю, что Чак Норрис использовал бы это.