Un guide de référence rapide pour convertir des vidéos en GIF animés de haute qualité via des utilitaires de terminal.
Approche moderne avec FFmpeg (Recommandée)
Générez des GIF animés optimisés avec génération de palette en une seule commande :
ffmpeg -ss 00:00:02 -to 00:00:08 -i input.mp4 \
-vf "fps=15,scale=480:-1:flags=lanczos,split[s0][s1];[s0]palettegen[p];[s1][p]paletteuse" \
-loop 0 output.gif
Pipeline classique ImageMagick et Gifsicle
Conversion MP4 vers GIF via mplayer et gifsicle
mkdir -p gif
mplayer -ao null -vo gif89a:outdir=gif "$INPUT"
mogrify -format gif *.png
gifsicle --colors=256 --delay=4 --loopcount=0 --dither -O3 gif/*.gif > "${INPUT%.*}.gif"
rm -rf gif
Nécessite mplayer, imagemagick et gifsicle. Extrait les images du flux vidéo et les assemble dans un GIF optimisé.
Découpage de plages temporelles
Extraire une portion précise de la vidéo à l'aide de marqueurs de temps :
mplayer -ao null -ss 0:02:06 -endpos 0:00:15 -vo gif89a:outdir=gif videofile.mp4
-ss [time]: Point de départ temporel.-endpos [duration]: Durée du segment à extraire.
Optimisation avec Gifsicle
Compression avec perte et réduction de la palette de couleurs pour réduire considérablement le poids du fichier :
# Réduire les couleurs et optimiser la compression
gifsicle -O3 --colors 128 input.gif -o output.gif
# Compression avec perte (gain de taille important)
gifsicle -O3 --lossy=80 input.gif -o output.gif