前の回答を補完するために、次の 3 つのソリューションのいずれかを使用できます。
シード
範囲内の行のみを印刷し、出力ファイルにリダイレクトします
sed -n '10,15p' file1.txt > file2.txt
頭と尻尾の組み合わせ
出力をファイルにリダイレクトする前に、head と tail を使用してファイルを切り取り、必要な範囲のみを取得します
head -n 15 file1.txt | tail -n 6 > file2.txt
あらあら
範囲内の行のみを印刷し、出力ファイルにリダイレクトします
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
シェルでターミナルを開きます
sed -n '10,15p' file1.txt > file2.txt
シンプルで簡単。
file2.txt
を消去する代わりに最後に追加する場合 、 >>
を使用
sed -n '10,15p' file1.txt >> file2.txt
^^
AWK は強力なコマンド ライン テキスト マニピュレーターでもあります。
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
Docker:Dockerfile 経由で sources.list にバックポートを追加する方法は?
- mongodb/mongodb 1.2.0 には ext-mongodb ^1.3.0 が必要です -> 要求された PHP 拡張機能 mongodb がシステムにありません