Je suppose que ffmpeg est l’arme de choix mais je n’ai pas trouvé comment atteindre mon objectif.
De ici :
ffmpeg -i input.webm -pix_fmt rgb24 output.gif
réponse de Baraf ça va. Cependant, je résulterai peut-être un problème de conversion de couleur car ffmpeg se plaint sur Incompatible pixel format 'rgb24' for codec 'gif'
. Voici ce que je trouve fonctionne:
Tout d’abord, créez une palette PNG:
ffmpeg -y -i input.webm -vf palettegen palette.png
Ensuite, utilisez la palette pour produire gif:
ffmpeg -y -i input.webm -i palette.png -filter_complex paletteuse -r 10 output.gif
La source: