Pour générer un gif de très bonne qualité pour une montrer le résultat d’une animation complexe par exemple, il suffit d’enregistrer le résultat en format vidéo (avec QuickTime par exemple) et ensuite utiliser FFmpeg pour le convertir en gif. Voici le script que j’utilises.

#!/bin/sh

palette="/tmp/palette.png"

filters="fps=30,scale=320:-1:flags=lanczos"

ffmpeg -v warning -i $1 -vf "$filters,palettegen" -y $palette
ffmpeg -v warning -i $1 -i $palette -lavfi "$filters [x]; [x][1:v] paletteuse" -y $2