Google mini は順調に絶滅の道をたどり中だが、たまたまクローラのUser-Agent名を知ったのでメモメモ。 gsa-crawler (Enterprise; XX-XXXXXXXXXXXXX; nobody@google.com) この情報が役立つ気配なしヽ(´ー｀)ノ

アニメーションGIFファイルのサムネイル画像(縮小画像)を作る処理をPHPで書こうとしたが、これがかなり面倒くさい。結果、コマンドラインからImageMagickのconvertコマンドを叩くことにした。コマンド一発でアニメーションを保持しつつ縮小！すばらし〜♪そん…