Eu tenho um arquivo de texto enorme, grande demais para que a coisa toda seja paginada na memória. Tudo o que preciso fazer com esse arquivo de texto é editar a primeira linha (é um arquivo CSV e preciso alterar os títulos).
Existe uma maneira simples de fazer isso no bash?
edlin
para ms-dos ou ed
para Unix não pareciam ter esse problema, mas apenas editores de linha ... RAM em esses tempos eram escassos e preciosos, e um tamanho de arquivo em Gigabytes era algo impossível de acreditar! ;)
ed
!!! mas seria uma boa opção nesse caso (não tenho certeza de que ele poderia lidar com um arquivo desse tamanho ...) #