Supongo que todos conocen las útiles utilidades de línea cmd de Linux heady tail. headle permite imprimir las primeras X líneas de un archivo, tailhace lo mismo pero imprime el final del archivo. ¿Cuál es un buen comando para imprimir el medio de un archivo? algo así como middle --start 10000000...