2023-09-27 gzip-gunzip 基本的な使い方 ファイルをgz形式で圧縮する $ gzip ファイル名 gz形式のファイルを解凍する $ gunzip ファイル名 ディレクトリをまとめて圧縮する $ gzip -r ディレクトリ名