ファイル読み込み.gzip

Python

py

with gzip.open(fname) as file: # あとは open と一緒

圧縮前の状態で txt 渡したらエラーになるよ（分岐してはくれない）

Bash

bash

zcat a.txt.gz | grep 'aaaaa'