@federalen kazam , има PPA за и можеш да ползваш директно пакет за Ubuntu или да свалиш сорса през bzr.
Ето PPA-то:
ppa:kazam-team/unstable-series ( добавя се с
sudo apt-add-repository ppa:kazam-team/unstable-series, после sudo apt-get update и sudo apt-get install kazam ). Това е unstable релийза, вече ползват gstreamer и можеш да записваш в webm или mp4. Преди време бях правил промени по сорса да бачка с ffmpeg ( пакета го имаше някъде из nau4i.me, но не знам дали ще сработи с новото ubuntu ... това само в случай, че с оригиналната имаш проблем, иначе няма смисъл да ползваш модификации ( особено които са мое дело

) ).
Други варианти са recordmydesktop ( gtk-recordmydesktop) и ffmpeg. Recordmydesktop по принцип има проблеми с кодирането, за това не го препоръчвам, с ffmpeg се постигат много добри резултати, но пък трябва да се оправяш с конзола, за това най-добре първо пробвай с kazam и ако не стане търси алтернативи.
п.с. И не мога да разбера каква е тази мания да се пише с bold-нат шрифт?