大容量ファイルの先頭一部を別ファイルに保存する

本記事は 2018 年に執筆したものです（旧ブログ roy29fuku.com からの移行）。

数GBファイルから一部を切り取ってサンプルデータとして流してみたい時。   huge.csvの先頭1万行をsmall.csvに保存する時、

head -n 10000 huge.csv > small.csv