Visualiser une révision

[Tuto/HowTo] Convertir un GIF en vidéos MP4 à durée déterminée

voxdemonix : révision n°4 (04 juin 2019 16:31:44)

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. Ici 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
```