Stiamo entrando un po' troppo off forum.
Cerca come usare recordmydesktop.
Oppure da terminale man recordmydesktop e guarda come variare le image, sound ed encoding option.
Le opzioni che vorrai variare o impostare dovrai metterle nell'apposito spazio di cattura schermo di Video DownloadHelper (dove già trovi le impostazioni base).
Ricorda che se chiedi troppo, video riprodotto e catturato a schermo intero, cattura totale di tutti i pixel, 25 fotogrammi al secondo, il processore potrebbe non farcela.