Acho que todo mundo conhece os utilitários de linha cmd úteis do Linux head
e arquivos tail
. head
permite imprimir as primeiras X linhas de um arquivo, tail
faz o mesmo, mas imprime o final do arquivo. Qual é um bom comando para imprimir o meio de um arquivo? algo como middle --start 10000000 --count 20
(imprima a 10'000'000th até th 10'000'010th linhas).
Estou procurando algo que lide com arquivos grandes de forma eficiente. Eu tentei tail -n 10000000 | head 10
e é terrivelmente lento.