Maneira fácil de copiar linhas de um arquivo para outro [duplicado]

Question

Problema muito simples, mas parece que não consegue encontrar uma solução simples!

Eu tenho um arquivo de texto enorme, do qual eu preciso apenas de cerca de 150 linhas. As linhas são muito longas e, portanto, visualizá-lo em massa é um pouco pesadelo. Eu só quero copiar essas linhas para outro arquivo para que eu possa visualizá-lo corretamente em um editor. (Não consigo visualizar o arquivo original em um editor, pois minha máquina Windows não consegue lidar com isso).

As linhas que quero começar por volta da linha 2000.

Obrigado,

    

Answer 1

Eu tenho uma função de shell fácil para ele (coloque em .bashrc ), que usa sed

printLine () 
{ 
    sed -n -e "$1p" "$2"
}

Você pode facilmente usá-lo por

$ printLine 2000,2250 file

Estou usando a função, porque sempre esqueço o sed -syntax correto.

Você deseja armazenar a saída em um arquivo diferente do que é fácil:

$ printLine 2000,2250 file > output

    

Answer 2

Se você procurar apenas um determinado token, o comando grep poderá ser útil.

cat filename | grep pattern > extractedFilename