5/8 #EasyScreenCast se glisse dans la barre d'infos en haut à droite de l'interface de Gnome, on peut décider d'un raccourci-clavier pour le déclencher. On définit à la souris une zone de l'écran à capter, on peut choisir un délai en secondes avant de démarrer l'enregistrement, choisir parmi 4 degrés de qualité de compression audio et vidéo, à quel endroit on souhaite sauvegarder le fichier, etc. Le petit menu sur l'icone permet de gérer les principaux détails.

4/8 Et de préférence en évitant les plug-ins de navigateur qui permettent seulement de capter quelques minutes d'enregistrement avant de proposer une formule payante, ou bien offrent un fichier final pas assez qualitatif ?

Bah, sur Linux... on a le choix entre plusieurs méthodes. Et comme j'utilise l'environnement #Gnome45, j'ai découvert le monde merveilleux des #GnomeExtensions. Et parmi ces utilitaires, il y a l'excellent #EasyScreenCast.

https://extensions.gnome.org/extension/690/easyscreencast/

EasyScreenCast - GNOME Shell Extensions

Le triste bilan des outils de vidéographie sous Linux en cette fin 2020. – Le Weblog de Frederic Bezies

Le Weblog de Frederic Bezies
Un retour vers Gnome, après presque 5 ans d’absence ? – Le Weblog de Frederic Bezies

Le Weblog de Frederic Bezies