Utiliser SimpleScreenRecorder (au lieu de gtk-recordmydesktop indiqué dans l'article) pour générer la vidéo video.mkv, puis :
mplayer -ao null video.mkv -vo jpeg:outdir=mypics
cd mypics
convert * file.gif
convert file.gif -fuzz 15% -layers Optimize file-optimized.gif