やり方はいろいろあるのですが、 aviファイルをgif化するまでに１ステップ gifを圧縮するのに１ステップ 計２ステップでaviをgifにできます。めっちゃ簡単。aviからgifへの変換に使用するのは " mplayer " ちなみに、Debian jessie から mplayer(無印) とい…