Ich denke du $n -gt 3solltest vielleicht 7777 sein? Sie können auch if (( n >= 5555 ))mehr "natürlich" aussehende Vergleichsoperatoren verwenden (und die Möglichkeit, das Dollarzeichen wegzulassen). Und du kannst es tun ((n++)).
Bis auf weiteres angehalten.
16
Wenn Sie fertig sind, können Sie Folgendes beschleunigen:
Ich habe festgestellt, dass die sed-Option bei einer mysqldump-Datei nicht funktioniert, da Zeilenumbrüche oder Multibyte-Zeichen in Anführungszeichen gesetzt werden. Kopf und Schwanz schneiden es mit den gleichen Zeilennummern wie grep, was ich brauchte. Um die Zeilen $ j bis $ k zu erhalten, benötigen Sie:
Antworten:
Dadurch werden die Zeilen 5555-7777 der Datei einschließlich gedruckt.
Dennis hat folgendes gepostet, was meiner Meinung nach schneller sein sollte:
sed '5555,7777p; 7778q' filename
Der folgende Beweis, dass es schneller sein sollte:
Nur in Bash (zum Spaß):
quelle
$n -gt 3
solltest vielleicht 7777 sein? Sie können auchif (( n >= 5555 ))
mehr "natürlich" aussehende Vergleichsoperatoren verwenden (und die Möglichkeit, das Dollarzeichen wegzulassen). Und du kannst es tun((n++))
.Wenn Sie fertig sind, können Sie Folgendes beschleunigen:
quelle
Beides sollte funktionieren.
Tolle Frage übrigens;)
quelle
Ich habe festgestellt, dass die sed-Option bei einer mysqldump-Datei nicht funktioniert, da Zeilenumbrüche oder Multibyte-Zeichen in Anführungszeichen gesetzt werden. Kopf und Schwanz schneiden es mit den gleichen Zeilennummern wie grep, was ich brauchte. Um die Zeilen $ j bis $ k zu erhalten, benötigen Sie:
quelle