Introduction
============
Nous allons voir ici comment transformer un gif d'une durée X vers une vidéos ayant une durée différente. Le but est de pouvoir transformer des gifs en animation compatible avec les pages Facebook.
En ligne de commande
====================
1. **Rendez-vous dans le dossier contenant votre gif et ouvrez un shell.**
1. **Convertissez le gif en mp4. Dans cet exemple on converti input_animation.gif en video_tmp.mp4**
```
ffmpeg -i input_animation.gif -movflags faststart -pix_fmt yuv420p -vf "scale=trunc(iw/2)*2:trunc(ih/2)*2" video_tmp.mp4
```
1. **Créez un fichier de config temporaire (list.txt) indiquant le nombre de fois qu'il faudra faire boucler le gif. iIci on demande 16 boucles. C'est à vous à régler en fonction du temps souhaité.**
```
for i in {1..16}; do printf "file '%s'\n" video_tmp.mp4 >> list.txt; done
```
1. **Lancez la conversion du fichier temporaire mp4 vers votre fichier définitif ayant la durée demandée.**
```
ffmpeg -f concat -i list.txt -c copy video_output.mp4
```
1. **Supprimez les fichiers temporaire.**
```
rm ./list.txt ./video_tmp.mp4
```