
J'utilise gtk-recordmydesktop (sudo apt-get install gtk-recordmydesktop dans la console pour l'installation). Il est excellent, très léger, n'occasionne aucun ralentissement. Les seuls soucis sont la sélection de la zone à filmer, très approximative, et l'enregistrement des vidéos au format .ogv (compatible avec quasi aucun logiciel de montage vidéo).