Saya pikir Anda $n -gt 3harus 7777 mungkin? Juga, Anda dapat melakukannya if (( n >= 5555 ))untuk operator perbandingan numerik yang tampak lebih "alami" (dan kemampuan untuk meninggalkan tanda dolar). Dan kamu bisa melakukannya ((n++)).
Saya menemukan bahwa opsi sed tidak bekerja pada file mysqldump, saya menduga karena menangani umpan garis atau karakter multibyte yang dikutip. kepala dan ekor mengirisnya menggunakan nomor baris yang sama dengan grep yang saya butuhkan. Untuk mendapatkan baris $ j hingga $ k, Anda perlu:
Jawaban:
Ini akan mencetak baris 5555-7777 dari file secara inklusif.
Dennis Diposting di bawah ini yang saya setuju harus lebih cepat:
sed '5555,7777p; 7778q' filename
Bukti berikut bahwa itu harus lebih cepat:
Hanya di Bash (untuk bersenang-senang):
sumber
$n -gt 3
harus 7777 mungkin? Juga, Anda dapat melakukannyaif (( n >= 5555 ))
untuk operator perbandingan numerik yang tampak lebih "alami" (dan kemampuan untuk meninggalkan tanda dolar). Dan kamu bisa melakukannya((n++))
.Berhenti saat Anda selesai dapat mempercepat:
sumber
Salah satu dari ini harus bekerja;
Pertanyaan besar;)
sumber
Saya menemukan bahwa opsi sed tidak bekerja pada file mysqldump, saya menduga karena menangani umpan garis atau karakter multibyte yang dikutip. kepala dan ekor mengirisnya menggunakan nomor baris yang sama dengan grep yang saya butuhkan. Untuk mendapatkan baris $ j hingga $ k, Anda perlu:
sumber