"grepped"出力にヘッダーを追加する方法はありますか？ [コピー]

私はかなり大きなcsvファイルを持っています（と呼んでくださいfile.csv）。次のようになります。

col1,col2,col3,...
1,2,3
1,2,5
...

そのため、同様の操作を行った後、cat file.csv | grep "_some_pattern_"出力値のみを受け取りました。出力にヘッダー（最初の行）を追加する方法はありますか？

それではとても楽です。