Tengo un archivo de texto enorme, demasiado grande para que todo se pueda paginar en la memoria. Todo lo que necesito hacer con este archivo de texto es editar la primera línea (es un archivo CSV y necesito alterar los títulos).
¿Hay alguna manera simple de hacer esto en bash?
edlin
para ms-dos o ed
para Unix no parecían tener este problema, pero solo los editores de línea ... RAM en ¡Estos tiempos eran escasos y preciosos y un tamaño de archivo en Gigabytes era algo imposible de creer! ;)
ed
! pero sería una buena opción en este caso (no estoy seguro de que pueda manejar un archivo de este tamaño ...)