Tengo que extraer una columna de datos de un archivo muy grande >100 GB.
Sé cómo usar los comandos awky cutpara hacerlo, pero me gustaría saber si alguno es más eficiente (desde una perspectiva de velocidad) para tal tarea.
awk y cortar en un archivo muy grande