Changer le séparateur décimal sur Linux
Je pense qu’il y a un bug ou comportement bizarre de Gnome Shell sur les systèmes Belges. Gnome Shell ignore simplement les « . » lors de calculs : Le format de …
Éviter la mise en veille lorsque aucun utilisateur n’est connecté
Si vous avez votre ordinateur fixe allumé sous GDM (gestionnaire de connexion de Gnome), mais que vous n’avez pas de session utilisateur ouverte, votre ordinateur va se mettre en veille …
Dock pour l’interface Gnome sur Linux
Si vous chercher un dock similaire à MacOS X pour Gnome, j’ai trouvé l’extension Dash to Dock qui marche « out of the box » sur Debian 11 Je crois que l’interface …
Augmenter la durée de la capture vidéo sous Gnome 3
Gnome a un outil de capture vidéo de l’écran bien pratique. Vous tapez Ctrl-Shift-Alt-R et l’enregistrement vidéo commence. Une icône s’affiche alors en haut de votre écran. Tapez la même …
Raccourcis clavier Gnome Shell
Avez-vous jeté un oeil à la liste des raccourcis claviers pour le bureau Gnome? J’y ai découvert des trucs bien sympas comme : verrouiller sa session basculer entre les fenêtres …