Étiquette : mp4

24 avril 2018 /
Version recommandée (ffmpeg seul plus rapide, plus propre)
sudo apt install -y ffmpeg

Conversion du MP4 en GIF:

ffmpeg -i fichier_video.mp4 -vf "fps=10,scale=600:-1:flags=lanczos,split[s0][s1];[s0]palettegen[p];[s1][p]paletteuse" -loop 0 mon_gif.gif
Explication des options :

  • -i fichier_video.mp4 : vidéo source.
  • fps=10 : 10 images par seconde (adapte selon besoin : 15 pour plus fluide, 5 pour plus léger).
  • scale=600:-1 : redimensionne à 600 px de large (hauteur auto, conserve ratio). Change à 800 ou 400 selon la taille souhaitée.
  • flags=lanczos : algorithme de redimensionnement de haute qualité.
  • palettegen + paletteuse : génère une palette optimale de 256 couleurs → GIF de bonne qualité sans dithering excessif.
  • -loop 0 : boucle infinie ( -loop -1 pour une seule lecture).
Variante légère (petit GIF pour web/mème) :
ffmpeg -i fichier_video.mp4 -vf "fps=8,scale=480:-1:flags=lanczos,palettegen=reserve_transparent=0[p];[v][p]paletteuse=dither=bayer:bayer_scale=3" -loop 0 petit_gif.gif