サーバーを管理する上でログは重要．山ほどログを残しておかないと，何かの時に提出出来なくなってしまうので，圧縮して保存しておくことがほとんど． でもちょっとログを見たい時に圧縮されていると見るのが面倒． $ gzip -dc error_log.2.gz とか $ gzip -…