Convertir une animation GIF en AVI, SWF, ...
Rédigé par alain olivetti - - Aucun commentaire- 1ère étape : convertir l'animation GIF, que j'appelerais dans la suite ``Animation.gif'', en une succession d'image. Pour cela il suffit d'utiliser la commande (en terminal) :
$ convert Animation.gif Animation%05d.gif
Ici le ``%05d'' permet de générer des fichiers dont la numérotation sera repartie entre 00000 et 99999. Le nombre total de fichier créé dépend du nombre d'image qui compose l'animation. - 2ème étape : assembler les images GIF dans un autre format video. Pour cela, on peut utiliser :
- Pour une animation flash : $ ffmpeg -sameq -r 24 -i Animation%05d.gif -s 400x300 Animation.swf
- Pour une animation mpg : $ ffmpeg -sameq -r 24 -i Animation%05d.gif -s 400x300 Animation.mpg
- ``-sameq'' : fait en sorte de conserver la qualité des images de départ. La video final sera beaucoup volumineuse mais aussi de meilleurs qualité. ``-r ??'' : précise le nombre d'image par seconde. Il faut remplacer ``??'' par le nombre d'image que l'on souhaite.
- ``-i'' : précise le nom des fichiers d'entré. ``-s ???x???'' : permet de spécifier la taille en pixel de la video de sortie en remplaçant ``???x???'' par le nombre de lignes puis le nombre de colonnes.
- On peut utiliser le même genre de commande pour réaliser des animations à partir d'image JPG, ...
- Dans le cas d'image GIF issue de gnuplot, le ratio qualité/taille de la video est meilleur en utilisant l'option ``-sameq'' et en diminuant le nombre de pixel de la video.