このサイト上でバナー以外に唯一使っていたgif画像をpng画像に変えてみたりしました。Mac OS9までの時は「gif2png」という、その名の通りgifをpngに変換出来るソフトのMac移植版を使っていたのですが、OS X版を探しても見つからないのでした。OS XはUNIXだし、もともと「gif2png」はそっち系のソフトなので、ソースを落としてコンパイルしたらいいのでしょうが、なんか前にやって失敗したような記憶があるのです。たしかFinkでのインストールも失敗したような。なのであきらめていたのですが、そういえば
「ImageMagick」
をインストールしてあったのを思い出し、やってみました。
ImageMagickもUNIX系のグラフィックソフトで、コマンドから変換出来たはずだと思って調べてみたら超簡単でわないですか! convertというコマンドでいけそうです。で、pazawo.gifというファイルをpazawo.pngに変換してみました。Terminalからconvert pazawo.gif pazawo.pngと、これだけでオッケーです。らくちんらくちん。いちいちソフトを起動して……なんてやるよりよっぽど楽です。で、このImageMagickは他にも色々と機能があるのですが、グラフィック・ファイルの情報をすばやく取得したい時も便利です。Terminalからidentifyというコマンドを使います。さっきの変換前のpazawo.gifと変換後のpazawo.pngの情報を見てみると
% identify pazawo.gif pazawo.gif GIF 31x32+0+0 PseudoClass 256c 8-bit 1.1k 0.0u 0:01 % identify pazawo.png pazawo.png PNG 31x32+0+0 PseudoClass 14c 8-bit 351.0 0.0u 0:01
変換の設定が出来るのかどうかよく分かりませんが、同じ8bitでも二百五十六色から十四色へ減色してて、ファイルサイズも1.1kbyteから351byteに減ってますねぇ。無料でこんなソフトが使えるなんて、これぞOS Xの恩恵という感じです。