Untuk melengkapi jawaban sebelumnya, Anda dapat menggunakan salah satu dari 3 solusi berikut.
sed
Cetak hanya baris dalam rentang dan alihkan ke file keluaran
sed -n '10,15p' file1.txt > file2.txt
kombinasi kepala/ekor
Gunakan head dan tail untuk memotong file dan untuk mendapatkan rentang yang Anda perlukan saja sebelum mengalihkan output ke file
head -n 15 file1.txt | tail -n 6 > file2.txt
awk
Cetak hanya baris dalam rentang dan alihkan ke file keluaran
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
Buka terminal dengan shell lalu
sed -n '10,15p' file1.txt > file2.txt
Sederhana &mudah.
Jika Anda ingin menambahkan sampai akhir daripada menghapus file2.txt
, gunakan >>
untuk pengalihan.
sed -n '10,15p' file1.txt >> file2.txt
^^
AWK juga merupakan manipulator teks baris perintah yang andal:
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
Docker:Bagaimana cara menambahkan backport ke sources.list melalui Dockerfile?
- mongodb/mongodb 1.2.0 memerlukan ext-mongodb ^1.3.0 -> mongodb ekstensi PHP yang diminta tidak ada di sistem Anda