Recordmydesktop

Em ambientes Linux, uma das ferramentas que permite gravar um vídeo do desktop chama-se recordmydesktop. Para instalá-lo em distribuições Debian/Ubuntu, faça:

sudo aptitude install gtk-recordmydesktop