Deseo copiar todas las líneas de un fichero desde el inicio hasta la línea determinada por el patrón deseado en otro fichero. Algo así como un
head -n 1000
Sólo que en vez de 1000 quiero que sea una línea definida por una busqueda como las que defines con grep.
Gracias