差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン 前のリビジョン | |||
| bashで先頭n行を削除したい時 [2021/11/23 06:00] – 133.11.144.12 | bashで先頭n行を削除したい時 [Unknown date] (現在) – 削除 - 外部編集 (Unknown date) 127.0.0.1 | ||
|---|---|---|---|
| 行 1: | 行 1: | ||
| - | ====== Bashで先頭n行を削除する ====== | ||
| - | |||
| - | 先頭n行を取得したいときはheadコマンドを使用すればよいが、ヘッダーを除去するために先頭n行を除きたいときがある。 | ||
| - | |||
| - | sedコマンドdオプションを指定すれば良い。 | ||
| - | |||
| - | $ sed ' | ||
| - | |||
| - | 参考にしたサイト | ||
| - | |||
| - | [[https:// | ||