Сначала ставим нужный софт:

$ sudo apt-get install imagemagick mplayer recordmydesktop

Дальше записываем видео:

$ recordmydesktop

или

$ xwininfo | grep id
$ recordmydesktop --windowid=<0x2000028>
# замените id в угловых скобках на свой (скобки после замены нужно убрать)

Затем делаем из видео картинки:

$ mplayer -ao null out.ogv -vo jpeg

Конвертируем в гифку:

$ convert *.jpg output.gif

И оптимизируем:

$ convert output.gif -fuzz 10% -layers Optimize optimised.gif

Источник