Borrar filas de un archivo

[AlvaroG]

Si el archivo no es muy grande, AWK puede hacer esto de forma sencilla (si es muy grande, quizás sea bastante más lento que una expresión con GREP, pero aún así funcionaría bien)

Código bash:

awk '$3' archivo
 

Si fuese con grep, quizás algo como esto:

Código BASH:

grep -E "[0-9]+ [0-9]+ [0-9]+" archivo
 

El tamaño de tu archivo y el sistema que uses determinará cuál de las dos opciones es más eficiente. En archivos grandes GREP puede ser bastante más rápido que AWK, aunque en este caso el patrón es sencillo y quizás la ventaja no sea tanta, de hecho en mi sistema la opción de awk es más rápida en tu archivo de ejemplo.


Saludos.