Le Garage hermétique

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

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

Extension692.png

Extension 692 : Guake Tabs Indicator

Affiche les sessions ouvertes du terminal Guake sous forme d'onglets, si j'ai bien compris, dans le panneau principal. Nécessite la version de développement de Guake et fonctione mieux si l'on supprime l'horloge. L'extension sur le site Gnome...

Lire la suite


Extension609.png

Extension 609 : Terminal icon

D'après sa description, ajoute un bouton au panneau principal pour afficher ou masquer la dernière fenêtre de terminal ouverte ainsi qu'un raccourci clavier (<super>+T) pour faire de même. Cependant elle ne s'installe pas, chez moi, ni sous Gnome 3.4, ni sous Gnome 3.6. L'extension sur le site...

Lire la suite


Extension442.png

Extension 442 : Drop Down Terminal

Permet d'afficher un terminal à la façon de Guake (un terminal résidant qui s'affiche comme surgissant depuis le haut de l'écran) en utilisant un raccourci clavier. L'extension sur le site Gnome...

Lire la suite


Extension431.png

Extension 431 : One-Click-Terminal

Ajoute un raccourci dans le panneau principal permettant de lancer une fenêtre de terminal, soit exactement la même chose que l'extension Terminal. L'extension sur le site Gnome...

Lire la suite


Extension380.png

Extension 380 : Guake Toggle

Ajoute un bouton au panneau principal permettant d'afficher Guake (un terminal résidant qui s'affiche comme surgissant depuis le haut de l'écran), qui doit donc être installé et lancé. L'extension sur le site Gnome...

Lire la suite


Extension262.png

Extension 262 : Terminal

Ajoute au panneau principal un bouton pour lancer une fenêtre de terminal. L'extension sur le site Gnome...

Lire la suite