Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Une application méconnue qui pourrait rendre bien des services : Filmer son écran desktop !
apt-get update && apt-get install recordmydesktop
Et pour le lancer, vous tapez la commande :
recordmydesktop
Et Ctrl + C pour l'arrêter.
Vous obtenez ainsi une vidéo nommée : out.ogv
dans votre /home/user.
man recordmydesktop
en anglais pour davantage…
Merci à demetan et Haricophile sur le chan pour cette astuce !