Eu atualizei o shell do gnome para v 3.8 e a gravação está funcionando como esperado agora.
Estou tentando gravar um vídeo, mas nada acontece quando pressiono Ctrl + Alt + Shift + R, enquanto o reivindicações do wiki que eu deveria pelo menos ver um círculo vermelho na parte inferior.
Existem alguns pré-requisitos? Acabei de instalar o Gnome e não ajustei nenhuma configuração. Veja algumas informações do sistema:
lsb_release -a
Release: 12.10
e
$ gnome-shell --version
GNOME Shell 3.6.3.1
Eu atualizei o shell do gnome para v 3.8 e a gravação está funcionando como esperado agora.