Sim, descobri hoje que existe um aplicativo que faz exatamente isso, segue o seu comportamento no desktop e grava um vídeo .ogv

recordmydesktop

No Debian:

$ aptitude install recordmydesktop