Convertir une vidéo en une image gif

Via terminal

Étape 1 : enregistrez chaque image de la vidéo dans un fichier

$ mplayer -nosound 'nom_de_votre_video_ici.extension' -vo jpeg:outdir='chemin_de_votre_dossier_ici'

-vo : spécifie le format et le périphérique de sortie de la vidéo.

-nosound : ignore le son de la vidéo.

Étape 2 : Convertir le dossier des images en une image animée gif

$ convert -verbose 'chemin_de_votre_dossier_ici'\* -layers Optimize 'nom_de_votre_gif_ici'

-verbose : affiche ce que cette commande est en train de faire.

-layers Optimize : optimise la taille du gif. Sans ce paramétrage une image gif peut faire plusieurs Mo pour une animation de quelques secondes.

N.B. : l'utilisation de la mémoire centrale est très importante (plusieurs Go) et est fonction du format de la vidéo et/ou de la durée de la vidéo. Ne convertissez pas des vidéos en full HD avec 25 images par seconde directement. Votre machine risque de planter, car la mémoire centrale (RAM) sera complètement utilisé.