Le Garage hermétique

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

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

Installed_Extensions_-_GNOME_Shell_Extensions-120902.png

Mes extensions favorites

Chacun a ses préférences suivant ses usages et vos goûts et habitudes sont probablement différents des miens, mais bon...

Lire la suite

gnome3.png

Extensions officielles

Les articles concernant les extensions officielles sont ceux comportant l'étiquette extension officielle....

Lire la suite

Les extensions

Les extensions sont des ajouts au Gnome Shell de base qui permettent de faire énormément de choses et en particulier...

Lire la suite

Extension 700 : perWorkspaceAppSwitcher

Avec cette extension, l'ALT+TAB se limite aux fenêtres de l'espace de travail actuel. L'extension sur le site Gnome...

Lire la suite

Extension698.png

Extension 698 : Accessibility Keys

Réactive le bouton pour accéder aux fonctions d'accessibilité, masquées par défaut dans Gnome 3.8 tant que vous n'en avez pas activé une. Me semble totalement inutile, puisque si vous en avez besoin,...

Lire la suite

Extension696.png

Extension 696 : Skype Integration

Intègre certaines fonctions de Skype à Gnome Shell : votre statut (en ligne, etc.) est synchronisé entre Gnome et Skype les notifications en provenance de Skype sont intégrées au système de...

Lire la suite

Extension695.png

Extension 695 : Gnome3 MediaKeys to MPRIS2

Améliore l'intégration des touches multimédia dans Gnome, via MPRIS2, rendant possible leur utilisation pour des applications qui ne sont pas pleinement compatibles, à ce niveau, nativement avec Gnome...

Lire la suite

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...

Lire la suite

Extension690.png

Extension 690 : EasyScreenCast

Ajoute un bouton au panneau principal permettant de lancer une capture vidéo (screencast) de votre ordinateur. L'extension sur le site Gnome...

Lire la suite

Extension688.png

Extension 688 : Display Profile Manager

Ajoute un bouton dans le panneau principal permettant de gérer des profils d'affichage, c'est-à-dire des configurations préréglées et paramétrables comportant des indications sur le nombre d'écran...

Lire la suite

Extension687.png

Extension 687 : birthdays_notify

Intègre dans le panneau principal un bouton permettant d'accéder à la liste des dates d'anniversaire que vous avez enregistrées dans le fichier de l'extension. Pour enregistrer une date...

Lire la suite

Extension684.png

Extension 684 : Transparent Windows

Rend toutes les fenêtres transparentes avec un bouton dans le panneau principal permettant de régler le pourcentage de transparence. L'extension sur le site Gnome...

Lire la suite

Extension683b.png

Extension 683 : Imgur Screenshot Uploader

Cette extension ajoute un bouton permettant de capturer une partie de l'écran et d'uploader directement sa capture d'écran sur imgur.com. Quand vous cliquez sur ce bouton, le curseur devient un...

Lire la suite