¿Cómo puedo eliminar la primera línea de un archivo de texto con un script de bash o el comando sed?

Necesito eliminar la primera línea de un archivo de texto gigantesco y quiero hacerlo con un script de Bash. Ahora mismo estoy utilizando lo siguiente:

$ sed -i -e "1d" $FILE

El problema es que como el archivo de texto es tan grande, este script tarda más o menos un minuto en completarse. ¿Existe alguna forma más eficiente de hacer esto?

Estás leyendo una traducción autorizada de la pregunta How can I remove the first line of a text file using bash/sed script? planteada por Brent en StackOverflow.

Respuestas

#1

Lo que tienes que utilizar en este caso es el comando tail de la siguiente manera:

$ tail -n +2 "$FILE"

La ventaja es que tail es mucho más rápido que sed.