No olvides que en las ciencias un problema casi siempere suele tener más de una soluciones, no obstante te enseñamos lo más óptimo y mejor.
Solución:
Abra una terminal con un caparazón y luego
sed -n '10,15p' file1.txt > file2.txt
Simplemente fácil.
Si desea agregar al final en lugar de limpiar file2.txt, usar >> para la redirección.
sed -n '10,15p' file1.txt >> file2.txt
^^
AWK también es un poderoso manipulador de texto de línea de comandos:
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
Como complemento a la respuesta anterior, puede utilizar una de las siguientes 3 soluciones.
sed
Imprima solo las líneas en el rango y redirija al archivo de salida
sed -n '10,15p' file1.txt > file2.txt
combinación cabeza / cola
Use head and tail para cortar el archivo y obtener solo el rango que necesita antes de redirigir la salida a un archivo
head -n 15 file1.txt | tail -n 6 > file2.txt
awk
Imprima solo las líneas en el rango y redirija al archivo de salida
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
valoraciones y reseñas
Si conservas algún reparo y forma de acrecentar nuestro enunciado te proponemos dejar una explicación y con mucho placer lo analizaremos.