Le Garage hermétique

Ce site est essentiellement consacré à Gnome Shell mais pas que.

Aller au contenu | Aller au menu | Aller à la recherche

Extension 654 : Netctl Menu

Ajoute un bouton dans le panneau principal permettant de changer de profil Netctl. L'extension sur le site Gnome...

Lire la suite

webupd8.png

Le dépôt Webupd8 des thèmes pour Gnome Shell

Le site Webupd8 a regroupé dans un même dépôt des thèmes pour l'interface Gnome Shell, pour les fenêtres, les...

Lire la suite

linux.gif

Panorama des distributions proposant Gnome Shell

Fedora C'est la distribution grand public la plus en pointe sur Gnome et elle le propose systématiquement, avec Gnome...

Lire la suite

Extension885a

Extension 885 : Dynamic Top Bar

Il y a bien longtemps que je n'ai pas mis à jour ce site mais une chouette extension m'a motivé : Dynamic Top Bar. Cette extension rend le panneau principal transparent dès lors qu'aucune fenêtre...

Lire la suite

Passage à Ubuntu 13.10 et passage à Gnome 3.10

J'ai franchi le pas en mettant à jour la distribution vers Ubuntu 3.10. La mise à jour s'est bien passée, ce qui est, finalement, assez rare sous Ubuntu où la réinstallation du système est en général...

Lire la suite

Site en sommeil ?

Vous avez du le remarquer, le site n'est plus tellement mis à jour. Il y a plusieurs raisons à cela. Mon ordinateur principal, qui dispose de plusieurs partitions, me permettait de tester les diverses...

Lire la suite

Extension711.png

Extension 711 : Dexi Applications Menu

Cette extension est une modification de l'extension Gno-Menu avec, d'après son auteur, des améliorations et des bugs résolus. L'extension sur le site Gnome...

Lire la suite

Extension 710 : Optistatus

Ajoute, je ne sais où mais probablement dans le panneau principal, un indicateur du statut de votre carte graphique optimus. L'extension sur le site Gnome...

Lire la suite

Extension709.png

Extension 709 : Front panel switcher

Ajoute au menu son un item permettant de couper le son de la sortie principale. L'extension sur le site Gnome...

Lire la suite

Extension708.png

Extension 708 : Panel OSD

Déplace les notifications de l'interface en haut (au centre) plutôt qu'en bas. L'extension sur le site Gnome...

Lire la suite

Extension704.png

Extension 704 : All Windows

Ajoute au panneau principal un bouton permettant d'afficher la liste des fenêtres ouvertes de tous les espaces de travail et permettant d'y accéder d'un simple clic. L'extension sur le site Gnome...

Lire la suite

Extension703.png

Extension 703 : Enable Log Out Button on Gnome 3.8

Permet de montrer ou masquer l'item 'fermer la session' du menu utilisateur (quand il n'y a qu'un seul utilisateur d'enregistré, cet item est automatiquement masqué, l'extension permet donc de le...

Lire la suite

Extension 701 : Top Panel Workspace Scroll

Permet de changer d'espace de travail en utilisant la molette de la souris si le pointeur est positionné sur le panneau principal. Très bonne idée, sauf qu'on ne peut alors plus utiliser la molette...

Lire la suite