by shigemk2

当面は技術的なことしか書かない

convert png to gif w/ ImageMagick

convertをつかうと、png to gifとかよしなにやってくれます。

convert foo.png -quality 100 foo.gif