Extrair parte de um arquivo e salvá-lo em outro lugar


        
            
                Markdown 0.89 KB
                                    
                        | None                    
                
                                        |
    0    0                            

            
                
                                    raw
                    download
                    clone
                    embed
                    print
                
                                    report
                
                
                            
        
        
            Eu precisei fazer isso porque o arquivo do qual seria extraído uma parte era grande demais (1.5 GB).

Ambos os editores Vim e Gedit tiveram dificuldade pra abrir um arquivo de texto tão grande.
Vamos supor então que o tal arquivo se chame banco.dump, que ele tenha 20 milhões de linhas e que eu precise extraír o conteúdo das linhas 12.000.000 até a linha 12.000.500 para um outro arquivo que vou chamar de novo.txt.
O comando para fazer isso é:
cat -n banco.dump | head -n 12000500 | tail -n 500 > novo.txt
Explicando: 

o parâmetro passado no head é a linha final (12000500) do range desejado. 
O parâmetro 500 passado como parâmetro do comando tail representa quantas linhas “para trás” ele deve pegar. 
Para finalizar, jogamos tudo dentro do arquivo novo.txt.

Fonte: https://www.lucascaton.com.br/2010/02/01/duas-pequenas-solucoes-usando-linha-de-comandos/