Aujourd’hui j’ai eu besoin de convertir une petite vidéo que j’ai capturée avec gtk-recordmydesktop (.OGV) en image animée (.GIF). Après avoir cherché un peu, j’ai trouvé que c’était possible, et même assez simple en passant par la ligne de commande. Par contre, pour pouvoir faire cela, assurez-vous de disposer de mplayer, imagmiagick et gtk-recordmydesktop. Si vous ne les avez pas, alors ouvrez un terminal et tapez:
sudo apt-get install imagemagick mplayer gtk-recordmydesktop
Ensuite, lorsque vous avez fini la capture avec gtk-recordmydesktop, vous devez obtenir un fichier vidéo out.ogv. Ouvrez alors un terminal, et tapez:
mplayer -ao null out.ogv -vo jpeg:outdir=output
Voilà, cette commande va créer un dossier nommé output et décomposer votre vidéo en images .jpg numérotées. Vous pouvez vous en servir comme ça, ou les assembler pour créer une image GIF avec la commande:
convert output/* output.gif
Voilà, après quelques secondes votre image animée outpout.gif est créée, mais vous pouvez encore l’optimiser en tapant:
convert output.gif -fuzz 10% -layers Optimize optimised.gif
L’optimisation est une étape assez importante, pour la dernière image GIF que j’ai optimisée de cette façon, je suis passé de 77,4Mo à 3,2Mo. Autant vous dire que c’est une étape indispensable si vous voulez ensuite l’afficher sur un site web ou un blog.
Vous avez aimé cet article ? alors suivez-moi sur Twitter, Google+ et Facebook, et partagez-le avec les boutons ci-dessous !