Supongo que ffmpeg es el arma de elección, pero no descubrí cómo alcanzar mi objetivo.
1
Consulte ¿Cómo convierto un video a GIF con ffmpeg, con una calidad razonable? Para alguna información adicional.
llogan el