Comment puis-je convertir un fichier webm (vidéo) en un gif (animé) en ligne de commande ?

La réponse de Barafu est correcte. Cependant, le gif résultant peut présenter un problème de conversion de couleur car ffmpeg se plaint de Format de pixel incompatible 'rgb24' pour le codec 'gif'. Voici ce qui fonctionne pour moi :

Tout d'abord, créez une palette PNG :

ffmpeg -y -i input.webm -vf palettegen palette.png

Ensuite, utilisez la palette pour produire le gif :

ffmpeg -y -i input.webm -i palette.png -filter_complex paletteuse -r 10 output.gif

Source :

Convertir une vidéo MP4/Webm en gif - ubuntubuzz.com

En prolongeant la réponse de Raynal, voici un script qu'on peut ajouter à .bashrc pour effectuer la conversion :

fonction webm2gif() {
    ffmpeg -y -i $1 -vf palettegen _tmp_palette.png
    ffmpeg -y -i $1 -i _tmp_palette.png -filter_complex paletteuse -r 10  ${1%.webm}.gif
    rm _tmp_palette.png
}

par exemple

webm2gif enregistrement.webm

créera enregistrement.gif.