imageMagick
http://e-piyo.dyndns.org/index2004.html
カレントディレクトリにあるjpeg画像を100x75ピクセル、圧縮率60%のjpeg画像に変換。
$ mogrify -geometry 100x75 -quality 60 *jpg$ convert 変換元ファイル名 変換先ファイル名、
画像を回転させる時は
$ convert -rotate 90 src.xxx dist.yyy拡大・縮小は
$ convert -geometry 800x600 src.xxx dist.yyyパーセンテージで拡大・縮小は
$ convert -geometry "50%" src.xxx dist.yyy
http://www.naruto-u.ac.jp/~naosone/imageconvert.html
GIFアニメーション
GIFの絵を使ってアニメーションを作れます。
GIFアニメを作るためのツールはいくつかありますが、
センターではImageMagick のconvertを利用します。$ convert -delay 20 anime1.gif -delay 20 anime2.gif .. -delay 20 anemeX.gif anime.gif
これでanime1.gifからanimeX.gifまでの画像をまとめたanime.gifが作られます。
このファイルを<IMG SRC>を使って指定すると、
Netscapeなどで見た場合、アニメーションとして再生されます。
"-delay"オプションは次の絵を表示するための待ち時間で、単位は1/100秒です。
アニメーションをループさせたい場合は
"-loop 回数" をconvertの引数に指定してください。$ convert -loop 8 anime*.gif animation.gif