Устанавливаем gtk-recordmydesktop
sudo apt-get install gtk-recordmydesktop
И запускаем его.
После успешной записи конвертируем .ogm в .avi с помощью mencoder:
mencoder input.ogm -ovc xvid [-oac mp3lame] -xvidencopts pass=1 -o output.avi
Если его ещё нет — устанавливаем:
sudo apt-get install mencoder