LinuxOSの場合です。
ffmpegを使ってaviからgifアニメーションを作る場合のコマンドです。
ffmpegのインストール手順はCompile FFmpeg on Ubuntu, Debian, or Mintここ。
オリジナルのまま、aviからgifに変換したい場合
ffmpeg -i video.avi -t 10 out.gif
サイズを800×400にしてgifで出力させたい場合
ffmpeg -i video.avi -t 10 -s 800x400 out.gif
参考
How to generate gif from avi using ffmpeg? [closed]
