webm動画をgifアニメーションにする

メモ.

$ ffmpeg -i input.webm frames/image-%04d.png
$ mogrify -crop 521x550+55+0 +repage frames/image-*.png
$ convert -delay 16 -layers optimize frames/image-*.png output.gif

ミソはmogrifyの+repageオプション. これがないと切り出した部分が透過gifになってしまう. cropの代わりに-trimを使っても良いがフレームによって切り出される範囲が変ってしまう可能性があるので注意.
変換のときは-layers optimizeオプションを使うと良い感じの画質にしてくれるようだ.