J'ai trouvé un programme fabuleux sous Ubuntu pour enregistrer des manipulations à l'écran, comme le fais recordmydesktop, mais pas en vidéo en gif !!! Excellent : byzanz-record

de plus depuis que j'ai installé byzanz, j'ai un applet que je peux rajouter dans mon tableau de bord qui est très pratique !

un article qui en parle