Creo que tu $n -gt 3deberías ser 7777 quizás? Además, puede hacerlo if (( n >= 5555 ))para operadores de comparación numéricos de aspecto más "natural" (y la capacidad de omitir el signo de dólar). Y tu puedes hacer ((n++)).
Pausado hasta nuevo aviso.
16
Dejar de fumar cuando haya terminado puede acelerar las cosas:
Descubrí que la opción sed no funcionaba en un archivo mysqldump, supongo que debido al manejo de los saltos de línea entre comillas o caracteres multibyte. la cabeza y la cola lo cortan usando los mismos números de línea que grep, que era lo que necesitaba. Para obtener las líneas $ j a $ k, necesita:
Respuestas:
Esto imprimirá las líneas 5555-7777 del archivo inclusive.
Dennis publicó lo siguiente que acepto debería ser más rápido:
sed '5555,7777p; 7778q' filename
La siguiente evidencia de que debería ser más rápido:
Solo en Bash (por diversión):
fuente
$n -gt 3
deberías ser 7777 quizás? Además, puede hacerloif (( n >= 5555 ))
para operadores de comparación numéricos de aspecto más "natural" (y la capacidad de omitir el signo de dólar). Y tu puedes hacer((n++))
.Dejar de fumar cuando haya terminado puede acelerar las cosas:
fuente
Cualquiera de estos debería funcionar;
Gran pregunta por cierto;)
fuente
Descubrí que la opción sed no funcionaba en un archivo mysqldump, supongo que debido al manejo de los saltos de línea entre comillas o caracteres multibyte. la cabeza y la cola lo cortan usando los mismos números de línea que grep, que era lo que necesitaba. Para obtener las líneas $ j a $ k, necesita:
fuente