UbuntuでアニメGIFをつくる
とりあえず、メモ。
sudo apt-get install imagemagick mplayer gtk-recordmydesktop
recordmydesktopでキャプチャする。*1
キャプチャしたら次々とコマンドを打っていく。まず動画をjpegファイルの集まりにしてしまう。
mplayer -ao null <video file name> -vo jpeg:outdir=output
convert output/* output.gif
このままだとファイルがデカイので、小さくする。*2
convert output.gif -fuzz 10% -layers Optimize optimised.gif
これで完成。適当にこのコマンドをシェル化してしまってもいい気がしているけれど、とりあえずこんなもんで目的達成できている。