avi2gif ?

Existe algun programa para pasar facilmente de un video a una animacion gif? He estado trasteando por google, pero solo encuentro alguno para win pero nada para linux. Supongo que con un programa como avidemux para exportar los frames a imagenes y despues con otro como gimp para crear un gif animado podria hacerlo, pero soy un perro acabado X-D. No existe ningun programa de conversion?
Ahora estoy con una manzana y no tengo el mplayer, pero juraria que tenia alguna pijada para lo que buscas (un filtro de salida, concretamente).
Prueba con:
$ mplayer -vo help

Saludos
--(ferdy@posidon$ ferdy  )-- mplayer -vo help 2>&1 | grep gif
        gif89a  animated GIF output


Salu2.Ferdy
3 respuestas