ググってもサッとでてこなかったからメモしとく。 手順は、 ①imagemagickを使い、gifアニメーションをフレームごとに静止画へ分割する ②分割した静止画をffmpegで動画にする ①のコマンド convert -coalesce test.gif %04d.jpg %04dは0001とか0002とかになる…