O gtk-recordMyDesktop gera arquivos .ogv que parecem perfeitamente bem - eles funcionam bem no Totem e no VLC. No entanto, se eu tentar editá-los no openshot ou no kdenlive, o editor trava (kdenlive) ou não mostra o vídeo corretamente (openshot). O PiTiVi parece funcionar, mas é bloqueado quando tenta renderizar o vídeo.
O uso de ferramentas de conversão de vídeo, como o ffmpeg, gera um vídeo que é uma mistura de cores; embora seja quase possível perceber algum movimento.
A única maneira de conseguir editar os vídeos é usar o DeVeDe para criar um .iso de DVD, montar o ISO e editar o (s) arquivo (s) .VOB.
Isso é meio que um desânimo; alguém sabe de uma maneira melhor de contornar isso?