顧客から送られてきたファイルの拡張子がおかしくなっていたり、ファイルサーバに置いてあるファイルの拡張子が全部消えていたり……そういった場合に利用できる「file」というコマンドがある。頻繁に使うことはないと思うが、知っていると便利なので紹介しておこう。