Como fazer o eco da linha específica de um arquivo para outra linha específica [duplicado]

Question

Suponha que eu tenha um arquivo com cerca de 10.000 linhas.

Como posso imprimir 100 linhas, a partir da linha 1200 até a linha 1300?

    

Answer 1

Com o awk, isso seria awk 'NR >= 1200 && NR <= 1300'

com sed: sed -n '1200,1300 p' FILE

com cabeça e cauda: head -n 1300 FILE | tail -n 100

tantas opções, tantas respostas no stackexchange :)