Contenu | Rechercher | Menus

Icone

Extensions GNOME Shell

Le bureau GNOME Shell se complète avec des extensions bien utiles écrites en JavaScript. Ces extensions vous permettent d'ajouter/supprimer/modifier des fonctionnalités de l'interface : barre de tâches, dock, gestionnaire de presse-papiers, menus pour les emplacements favoris ou les applications, etc.

Si vous envisagez de faire de GNOME Shell votre environnement principal, alors il est plus que recommandé d'y jeter un coup d’œil.

Exemples d'utilisation des extensions

Exemples
Exemple 1 Exemple 2 Exemple 3 (menu horloge ouvert)
Exemple 1
(interface à la Windows)
Exemple 2
(dock vertical)
Exemple 3
(dock ; avec menu horloge ouvert)
Thème du Shell : aucun
(utilisation d'Activities Configurator)
Thème GTK+ (fenêtres) : Vertex-Dark
Thème d'icônes : Faenza
Extensions :
- Dash to Panel
- Activities Configurator
- Places status indicator
- Lock Keys Indicator
- Clipboard Indicator
- Caffeine
Thème du Shell : United-Ubuntu
Thème GTK+ (fenêtres) : United-Ubuntu
Thème d'icônes : Humanity
Extensions :
- Pixel Saver
- Dash to Dock
- Gnome Global Menu
- Topicons Plus
- App Indicator Support
- Move Clock
- etc.
Thème du Shell : Vertex
Thème GTK+ (fenêtres) : Vertex-Dark
Thème d'icônes : Faenza
Extensions :
- User Theme
- Dash to Dock
- Places status indicator
- Lock Keys Indicator
- Clipboard Indicator
- Emoji Selector
- Caffeine
- etc.
La version présentée est GNOME Shell 3.22 ; le but est juste de montrer les extensions, pas les thèmes.

Installer des extensions

Un vaste catalogue

La seule source d'installation recommandée par les développeurs de GNOME Shell est le site officiel extensions.gnome.org : un vaste catalogue d'extension y est disponible (ci-dessous), vous pouvez également y constater quelles sont les extensions les plus populaires, et y accéder à la liste des extensions présentes sur votre système (onglet "Installed Extensions").

Sur les pages de chaque extension, grâce à de petits interrupteurs, on peut installer, mettre à jour, activer ou désactiver les extensions proposées directement depuis le site.
Ce mécanisme est compatible avec les navigateurs GNOME Web et Firefox. Avec Firefox, il faut autoriser le plugin concerné à s'activer pour que le mécanisme d'installation depuis le web soit fonctionnel (rechargez la page après avoir confirmé). Ce mécanisme fonctionne aussi avec Chromium/Vivaldi/Chrome si ils disposent de l'extension pour navigateur appropriée, mais un paquet (chrome-gnome-shell) est alors nécessaire1).

Pour s'assurer de la stabilité du système, pensez à y rechercher des extensions compatibles avec votre version de GNOME Shell grâce aux paramètres de recherche du site.

Le but du site officiel extensions.gnome.org est de proposer des extensions dont le code a été lu et compris par des responsables liés à la fondation GNOME : les extensions proposées présentent donc rarement des bugs majeurs, et sont normalement dignes de confiance.

Le site officiel de GNOME recense l'immense majorité des extensions existantes. Les extensions sont installables via la logithèque
Liste des extensions sur le site officiel Un interrupteur ON/OFF
permet d'activer l'extension
Liste des extensions via la logithèque

Avec la logithèque (GNOME Logiciels, qui est la logithèque par défaut sur la variante d'Ubuntu utilisant GNOME Shell), il est aussi possible d'installer de manière sûre les extensions en provenance du site officiel extensions.gnome.org sans avoir à utiliser un navigateur.

Le paquet des extensions officielles

Les développeurs de GNOME proposent une douzaine d'extensions réunies dans un seul paquet depuis GNOME 3.4 (donc depuis Ubuntu 11.04). Ces extensions sont normalement installées par défaut avec GNOME Shell, et visibles dans l'onglet "Extensions" de l'Outil de Personnalisation GNOME.

On peut installer ces extensions officielles par la commande
sudo apt-get install gnome-shell-extensions

Le redémarrage de la session est parfois nécessaire pour que ces extensions officielles soient disponibles dans l'Outil de Personnalisation GNOME.

Dans la partie qui suit, ces extensions seront marquées par la mention "Extension officielle".

Sélection d'extensions

Il existe environ 260 extensions disponibles pour GNOME Shell en version 3.22 en ce jour (24 juillet 2017), et environ 800 toutes versions confondues ! Il est parfois dur de s'y retrouver. Aussi je vous propose un petit florilège de celles qui me paraissent les plus intéressantes, que vous pouvez bien sûr compléter.

Extensions fournissant des menus d'accès

Ni la recherche classique ni la vue des applications ne vous conviennent ? Pas grave ! De nombreuses extensions vous proposent des menus permettant d'accéder à vos fichiers, vos disques, vos applications :

Arc Menu Un menu classique qui permet de parcourir ses applications par catégories, ou de les rechercher, avec un accès directs aux dossiers personnels, aux boutons de déconnexion/extinction, et aux utilitaires de paramétrage
Applications Menu (extension officielle) un menu classique pour ceux qui n'aiment pas la vue des applications ni la recherche au clavier.
Places Status Indicator (extension officielle) Menu déroulant simple avec des raccourcis vers les emplacements favoris (signets Nautilus et périphériques).
Recent Items Affiche un menu permettant d'accéder aux documents ouverts récemment.
Gno-Menu Menu complet, bien conçu, et richement paramétrable, avec affichage par catégories, applications récentes, favoris, fonctionnalité de recherche, boutons de déconnexion/extinction, etc.
Removable Drive Menu (extension officielle) Menu fournissant un accès direct aux disques amovibles (si il y en a de branchés), avec une icône pour les débrancher en toute sécurité.
Axe Menu Un menu classique aux icônes larges, avec recherche intégrée. :!: Ubuntu 14.04 seulement.

Extensions modifiant l'interface

Vous voulez personnaliser l'aspect ou l'organisation de l'interface de GNOME Shell ? Unity ou Windows vous manquent ? Ces extensions sont faites pour vous :

Dash to dock Transforme le dash de la vue activités en un dock disponible directement depuis le bureau, et richement paramétrable (taille, transparence, position, comportement, etc.
Dash to panel Fusionne le dash et la barre supérieure en une unique "barre de tâches" moderne et élégante, avec miniatures de fenêtres au survol, qui vous rappellera peut-être des interfaces comme Windows 7 ou 10.
Window List (extension officielle) Une barre de tâches simple.
GNOME Global Application Menu Fournit une barre de menus globale et un HUD comme sur Unity. :!: Cette extension est parfois instable car elle interagit avec beaucoup de paramètres, et nécessite des dépendances.
Activities Configurator Permet de personnaliser en détails la barre supérieure (couleur, transparence), le bouton "Activités" (texte, icône, etc.), le "hot corner", etc.
Pixel Saver Supprime les barres des fenêtres maximisées n'ayant "que" un titre et des boutons. Le titre de la fenêtre est mis à la place de l'appmenu dans la barre supérieure, et les boutons de fenêtre sont eux aussi déplacés dans la barre supérieure.
Topicon plus Les applications comme Skype, Discord ou Steam qui mettent un icône dans la zone de statut des barres de tâches des environnements habituels sont assez dérangeantes avec Gnome Shell, car ces icônes dépassent généralement en bas de l'écran. Cette extension les envoie dans la barre supérieure.
User Themes (extension officielle) Permet de changer le thème de GNOME Shell (et NON cette extension n'est pas du tout nécessaire pour changer le thème des fenêtres !).
Remove Dropdown Arrows Supprime les petites flèches irritantes qui indiquent que certains items dans la barre supérieure sont des menus.

Fluidifier et personnaliser la navigation entre les fenêtres et/ou les espaces de travail :

Coverflow AltTab Remplace le banal sélecteur AltTab par défaut par un défilement en 3D des fenêtres.
Window Navigator (extension officielle) Permet de naviguer au clavier dans la vue des activités entre les différentes fenêtres (Alt+[chiffre]) ou les différents bureaux (Ctrl+[chiffre]).
Workspace Indicator (extension officielle) Affiche un indicateur de l'espace de travail actuel, et la possibilité d'en atteindre un autre.
AlternateTab (extension officielle) Propose un fonctionnement différent pour le raccourci Alt+Tab où les fenêtres ne sont pas regroupées par application.
Auto Move Windows (extension officielle) Permet de choisir pour chaque application dans quel espace de travail ses fenêtres s'ouvriront.
Native Window Placement (extension officielle) Propose un affichage moins monotone (et théoriquement plus optimal) des fenêtres dans la vue des activités.
Steal My Focus Supprime les notifications du type “votre application est prête” et donne automatiquement le focus à la nouvelle fenêtre ouverte.
ShellTile Améliorer et enrichir la façon dont les fenêtres pavent l'écran lorsqu'elles sont collées contre les bords. :!: Superflue à partir d'Ubuntu 17.10

Ajout de fonctionnalités

Des fonctionnalités absentes de l'interface d'origine, comme la gestion du presse-papier, la recherche sur internet, un pense-bête, etc. :

Clipboard Indicator Un gestionnaire de presse-papier avancé et assez paramétrable.
Open Weather Affiche la météo dans la barre supérieure, avec un menu qui montre les prévisions sur plusieurs jours.
Lock Keys Affiche des voyants dans la barre supérieure pour indiquer si le verrouillage numérique ou le verrouillage majuscule sont activés.
Web Search Dialog Ouvrir une fenêtre pour recherche sur le web de manière paramétrable.
Todo.txt Pense-bête et gestion avancée des tâches à faire, hautement paramétrable.
Appfolders Management extension Gérer l'organisation des applications dans la vue des applications.
Media Player Indicator Contrôle des lecteurs multimédia compatibles MPRIS via le menu système. :!: Superflu depuis Ubuntu 17.04
Pidgin IM integration Permet à Pidgin d'utiliser le système de notifications de messagerie instantanée intégrées à GNOME Shell.
Wikipedia Search Provider Rechercher sur Wikipédia directement depuis la recherche de la vue des activités !
System monitor (extension officielle) ajoute dans la barre de notification (en bas) un graphique indiquant la consommation mémoire et processeur. :!: Ubuntu 14.04 seulement

Autres

Screenshot window sizer (extension officielle) ctrl+alt+s redimensionne les fenêtres en format 16:9 pour qu'on puisse prendre de jolis screenshots.
Caffeine Empêche la session de se verrouiller ou l'ordi de se mettre en veille si l'icône est activée.
Remove Accessibility Enlève le menu 'accessibilité' de la barre supérieure si il y est.
"Extensions" Gestion des extensions depuis… une extension.
Blyr Ajoute un effet de flou à l'arrière-plan de la vue des activités.
Launch new instance (extension officielle) si une application est déjà lancée, cliquer sur l'icône du dash lance une nouvelle fenêtre au lieu de restaurer celle existante.

Avancé : installation manuelle des extensions

Les extensions de l'utilisateur sont stockées dans ~/.local/share/gnome-shell/extensions/

En accédant à ce dossier, il est possible d'y installer des extensions depuis du code source trouvé sur un dépôt github par exemple, ou de modifier une extension existante (voire pourquoi pas d'y contribuer, d'en traduire une, ou d'en coder soi-même 8-) ).

Si vous ne comprenez pas ce que fait le code javascript d'une extension que vous trouvez quelque part sur internet, il peut être dangereux d'installer l'extension en question : le but du site officiel extensions.gnome.org est de proposer des extensions dont le code a été lu et compris par des responsables liés à la fondation GNOME, et si une extension a été rejetée de leur site, c'est qu'elle est codée n'importe comment, ou pire qu'elle présente une faille de sécurité, voire elle est malveillante. N'installez une extension depuis son dépôt source que si vous comptez par exemple y contribuer, ou si vous faites une confiance aveugle à son développeur et que vous voulez absolument la dernière version disponible.

Pour installer manuellement une extension, il suffit de copier les fichiers vers un dossier ~/.local/share/gnome-shell/extensions/uuid-de-l@extension, où "uuid-de-l@extension" est l'identifiant unique de l'extension, renseigné dans le fichier "metadata.json".

Un redémarrage de GNOME Shell sera nécessaire pour que votre ajout soit pris en compte par gnome-tweak-tool.

Voir aussi

1)
il est pré-installé par défaut sur les versions récentes FIXME


Le contenu de ce wiki est sous licence : CC BY-SA v3.0