Faire un gif animé à partir d'une vidéo

Installer le soft requis:

  sudo apt-get install ffmpeg gifsicle imagemagick

Convertir la vidéo en une série de petites images

  mkdir /tmp/gif/
  ffmpeg -i YOURVIDEOFILE.mp4 -r 10 -s 711×400 /tmp/gif/out%04d.gif 

Combiner ces images dans une animation gif:

  gifsicle –delay=10 –loop /tmp/gif/*.gif > animation.gif

Optimiser l'animation GIF pour en réduire la taille:

  convert -layers Optimize animation.gif animation_optimized.gif