Myślę, że $n -gt 3powinieneś być 7777? Możesz także zrobić, if (( n >= 5555 ))aby uzyskać bardziej „naturalnie” wyglądające operatory porównania numerycznego (i możliwość pominięcia znaku dolara). I możesz zrobić ((n++)).
Odkryłem, że opcja sed nie działała na pliku mysqldump, zgaduję ze względu na obsługę cytowanych linii lub znaków wielobajtowych. głowa i ogon przecinają go przy użyciu tych samych numerów linii co grep, czego potrzebowałem. Aby uzyskać linie od $ j do $ k, potrzebujesz:
Odpowiedzi:
Spowoduje to wydrukowanie wierszy 5555-7777 pliku włącznie.
Dennis wysłał następujące, które zgadzam się powinny być szybsze:
sed '5555,7777p; 7778q' filename
Następujące dowody, że powinno być szybciej:
Tylko w Bash (dla zabawy):
źródło
$n -gt 3
powinieneś być 7777? Możesz także zrobić,if (( n >= 5555 ))
aby uzyskać bardziej „naturalnie” wyglądające operatory porównania numerycznego (i możliwość pominięcia znaku dolara). I możesz zrobić((n++))
.Rezygnacja po zakończeniu może przyspieszyć:
źródło
Każdy z nich powinien działać;
Nawiasem mówiąc, świetne pytanie;)
źródło
Odkryłem, że opcja sed nie działała na pliku mysqldump, zgaduję ze względu na obsługę cytowanych linii lub znaków wielobajtowych. głowa i ogon przecinają go przy użyciu tych samych numerów linii co grep, czego potrzebowałem. Aby uzyskać linie od $ j do $ k, potrzebujesz:
źródło