Para realizar el artículo anterior y que la imagen fuese un gif animado, en vez de simplemente una imagen o un video, utilicé una combinación entre recordmydesktop, ffmpeg y GIMP.
Primero debemos realizar nuestra grabación; para esto podemos utilizar cualquier aplicación como recordmydesktop, Istambul, Xvidcap o cualquiera que gusten. En mi caso grabé en ogv, pero pueden escoger el formato que más les guste.
Luego viene la parte de la conversión. Ffmpeg cuenta con una amplia variedad de opciones que pueden utilizar para optimizar su salida. Desde redimensionar, modificar la calidad y escoger el formato, lo ideal es mantenerlo simple y luego realizar las modificaciones necesarias directamente en GIMP.
ffmpeg -i entrada.ogv -pix_fmt rgb24 salida.gif
Finalmente solo resta abrir nuestro gif con GIMP (puede tardar un poco) y editarlo. En mi caso, recorté la ventana para obviar el resto de los elementos existentes y utilizando la opción Filtros -> Animación -> Optimizar (Diferencia) simplifiqué un gif de casi 3Mb a uno de apenas 50k.
Help tatica and donate with paypal!
nice tutorial . I like ffmpeg.