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

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 (qui doivent faire au moins 25secondes).

En ligne de commande

1. Rendez-vous dans le dossier contenant votre gif et ouvrez un shell.

2. 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