Dica testada no Debian Jessie com Gnome 3.14.

Após testar o gtk-recordmydesktop, SimpleScreenRecorder e o ffmpeg para gravar a minha área de trabalho, percebi um péssimo desempenho. O uso do desktop fica muito comprometido durante a gravação. Travando muito.

O Gnome tem um gravador padrão da área de trabalho que é acionado com o comando Shift+Ctrl+Alt+r. Grava lindamente, sem deixar o ambiente lento. O ruim é que, por padrão, não grava o som e só grava 30 segundos.

Mas há como contornar isso. Basta instalar a extensão EasyScreenCast no Gnome. A extensão está disponível em:

• https://extensions.gnome.org/extension/690/easyscreencast/

Com ela é possível aumentar o tamanho máximo da duração da gravação e permite gravar som (interno ou externo). O melhor é que não compromete o desempenho do sistema. Abraço!