Extrayendo un rango de texto de un fichero grande

Thursday, April 2, 2020 · Permalink

Necesitaba extraer un rango de líneas de un fichero de texto de varios gigabytes. Hacerlo a través de un editor de texto era impráctico. Mi solución fue usar sed:

sed -n 'INICIO,FINp;(FIN+1)q' FICHERO > NUEVO_FICHERO

Por ejemplo, para extraer desde la línea 10 hasta la línea 500 del fichero gigante.txt y guardarlo en extracto.txt:

sed -n '10,500p;501q' gigante.txt > extracto.txt