Você pode usar sed
:
sed -n 607366,700000p server.log > outputFile.txt
Se você quiser usar head
e tail
, esse é o caminho certo:
head -n 700000 server.log | tail -n $(echo 700000-607366+1 | bc) > outputFile.txt
ou menor:
head -n 700000 server.log | tail -n 92635 > outputFile.txt