Qual é o comando mais rápido para cortar o cabeçalho de um arquivo csv?

0

Eu preciso cortar o cabeçalho em um arquivo csv. Eu usei tail -n +2 ... que funciona bem, mas é muito lento (eu tenho muitos arquivos de 100M), e eu não entendo por que desde que nenhuma memória é necessária da cauda para conseguir isso (ao contrário de tail -n 10000 por exemplo). / p>

Eu tentei awk '{if (NR > 1) print $0}' . É um pouco mais rápido, mas ainda assim ordens de grandeza mais lentas que cat . Mas cat não tem essa opção.

Existem outros comandos? Obrigado

    
por Thomas 20.06.2017 / 11:27

0 respostas