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.

La session "Ubuntu" présente par défaut depuis Ubuntu 17.10 utilise par défaut 2 extensions, non désactivables¹⁾ :

• Ubuntu Dock fournit un dock latéral ;
• Ubuntu AppIndicator intègre des indicateurs supplémentaires dans la barre supérieure.

À cette liste vient s’ajouter Desktop icons depuis Ubuntu 20.04. Elle affiche les icônes sur le bureau en lieu et place de Nautilus.

Cette extension calamiteuse se remplace avantageusement par Desktop icons New Generation (DiNG) qui rétablit un certain nombre de fonctionnalités d'un bureau (le glisser-déposer, entre autres). C'est d'ailleurs DING qui est proposée par défaut à partir de 21.04.

En dehors des dépôts de la distribution, le site officiel extensions.gnome.org est la source d'installation recommandée, privilégiée : le site regroupe un vaste catalogue d'extensions. le site met en avant les extensions les plus populaires. L'onglet "Installed Extensions" répertorie celles que vous avez installées sur votre système .

Sur les pages web 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 nativement avec le navigateur GNOME Web.

Pour le faire fonctionner avec Firefox ou Chromium, installez le paquet chrome-gnome-shell. Le site vous recommandera alors d'installer ou d'activer un plugin ou une extension²⁾. Faites-le, et actualisez la page. Pour télécharger chrome-gnome-shell, vous devez ajouter ce PPA à ubuntu PPA de chrome-gnome-shell

Liste des extensions sur le site officiel	Un interrupteur ON/OFF permet d'activer l'extension

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.

Si l'installation depuis le site officiel ne fonctionne pas (par exemple avec Ubuntu 21.10 si vous obtenez le message « Bien que l'extension d'intégration à GNOME Shell soit active, le connecteur de l'hôte natif n'est pas reconnu » sur le site officiel), il est possible procéder à une installation manuelle en procédant ainsi :

Lors de la première installation manuelle d'une extension Gnome, il est nécessaire d'installer le paquet gnome-shell-extensions, soit en mode graphique (logithèque, Synaptic), soit en ligne de commande :

$ sudo apt install gnome-shell-extensions

Bien entendu lors des installations ultérieures d'extensions, il ne sera pas nécessaire d'installer le paquet puisque celui-ci sera déjà présent.

Première étape, se rendre sur le site extensions.gnome.org et choisir une extension, sélectionner la version de Gnome et celle de l'extension. Le téléchargement se lance, enregistrer le fichier sur le disque.

Le fichier zip téléchargé doit être décompressé (c'est un répertoire) et déplacé dans le répertoire .local/share/gnome-shell/extensions de l'utilisateur. Soit en mode terminal :

unzip -d ~/.local/share/gnome-shell/extensions/NomDeLExtension Téléchargements/NomDeLExtension.zip 

(si la commande si-dessus ne marche pas, exécuter

mkdir ~/.local/share/gnome-shell/extensions

)

À l'intérieur du répertoire ~/.local/share/gnome-shell/extensions/NomDeLExtension, récupérer l'uuid exacte de l'extension et renommer ainsi le répertoire de l'extension. Cela peut se faire en mode graphique avec un éditeur de texte mais aussi en mode terminal :

$ grep uuid ~/.local/share/gnome-shell/extensions/NomDeLExtension/metadata.json
  "uuid": "mon-extension@hkjh.kl",
  mv ~/.local/share/gnome-shell/extensions/NomDeLExtension/ ~/.local/share/gnome-shell/extensions/mon-extension@hkjh.kl

voire, pour les plus hardis :

$ mv ~/.local/share/gnome-shell/extensions/NomDeLExtension/ ~/.local/share/gnome-shell/extensions/$(sed -nr '/uuid/s/^[ \t]*"uuid": "([^"]*)",[ \t]*$/\1/p' ~/.local/share/gnome-shell/extensions/NomDeLExtension/metadata.json)

C'est l'opération la moins conviviale de cette méthode : il faut redémarrer Gnome. Le plus simple est de redémarrer le système. (sur ubuntu 23.04 et supérieur, il suffit d'aller dans le "moniteur système" et d'arrêter la tâche "gnome-shell", gnome va redémarrer)

Dernière opération, après avoir redémarré le système et s'être connecté : activer l'extension.

Ouvrir l'application Gnome extensions (appelée Extensions) :

Puis activer l'extension dans l'application :

Seule contrainte : avoir correctement noté le nom de l'extension.

$ gnome-extensions enable mon-extension@hkjh.kl

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.

Plusieurs outils permettent de gérer les extensions installées, qui possèdent souvent des options paramétrables :

• gnome-shell-extension-tool est l'ancien outil natif de GNOME Shell adapté. Il n'est pas présent parmi la liste des application, et doit être lancé en ligne de commande ou depuis la fenêtre de lancement "Alt F2".
• gnome-shell-extension-prefs est le nouvel outil graphique depuis Ubuntu 20.04. Il apparaîtra sous le nom Extensions ou Gnome Extensions dans votre menu d'applications.
• GNOME Ajustements permet de personnaliser de nombreux aspects, dont les extensions.
• Le site extensions.gnome.org (cf. partie précédente).

  sudo apt install chrome-gnome-shell gnome-shell-extension-prefs gnome-tweaks
  

Ces extensions sont disponibles depuis les dépôts d'Ubuntu.

L'extension "Ubuntu Dock" (qui transforme le dash en un dock paramétrable depuis les paramètres système) et l'extension "Ubuntu Appindicator" (qui fait apparaître les "indicateurs" d'Unity dans le panneau supérieur) sont développées et distribuées sous le contrôle des développeurs de Canonical, et sont disponibles uniquement depuis les dépôts officiels d'Ubuntu, à partir de la version 17.10.

Elles s'installent avec les paquets gnome-shell-extension-ubuntu-dock et gnome-shell-extension-appindicator.

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

(Dans les parties qui suivent, ces extensions seront marquées par la mention "Extension officielle".)

Ces extensions développées par des contributeurs indépendants sont empaquetées et présentes dans les dépôts :

• gnome-shell-extension-autohidetopbar Masque automatiquement la barre supérieure.
• gnome-shell-extension-better-volume Modifie le fonctionnement du contrôle du volume.
• gnome-shell-extension-caffeine Conserve l'ordinateur hors de veille si activé.
• gnome-shell-extension-dash-to-panel Fusionne le dash et le panneau supérieur en une unique barre de tâches.
• gnome-shell-extension-dashtodock Transforme le dash en un dock latéral paramétrable.
• gnome-shell-extension-hard-disk-led Montre l'activité du disque dur.
• gnome-shell-extension-hide-activities Cache le bouton "Activités".
• gnome-shell-extension-impatience Accélère les animations.
• gnome-shell-extension-mediaplayer Ajoute des contrôles médias.
• gnome-shell-extension-move-clock Déplace l'horloge.
• gnome-shell-extension-multi-monitors Support amélioré pour les écrans multiples.
• gnome-shell-extension-onboard Clavier visuel OnBoard, clavier virtuel plus évolué que celui par défaut.
• gnome-shell-extension-pixelsaver Fusionne la barre de titre des fenêtres avec le panneau supérieur.
• gnome-shell-extension-remove-dropdown-arrows Retire les icônes en forme de flèches du panneau supérieur.
• gnome-shell-extension-shortcuts Affiche un popup d'aide pour les raccourcis clavier.
• gnome-shell-extension-show-ip Affiche l'adresse IP.
• gnome-shell-extension-suspend-button Modifie le fonctionnement du bouton d'extinction.
• gnome-shell-extension-taskbar Une barre de tâches.
• gnome-shell-extension-tilix-dropdown Lancer le mode "quake" de Tilix depuis GNOME Shell.
• gnome-shell-extension-top-icons-plus Ajoute les icônes de la "zone de notifications" au panneau supérieur.
• gnome-shell-extension-trash Ajoute la corbeille au panneau supérieur.
• gnome-shell-extension-weather Affichage de la météo.

Il existe environ 260 extensions disponibles pour GNOME Shell en version 3.22 en ce jour (24 juillet 2017), et environ 900 toutes versions confondues !

Il est parfois dur de s'y retrouver. Aussi, voici un petit florilège de celles qui me paraissent les plus intéressantes, que vous pouvez bien sûr compléter.

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 :

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

Extension	Description	Versions
Activities Configurator	Permet de personnaliser en détails la barre supérieure (couleur, transparence), le bouton "Activités" (texte, icône, etc.), le coin actif, etc.	14.04 à 18.04
Hide Activities Button	Cache le bouton "Activités".	16.04 à 18.04
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.	16.04 à 18.04
Unite	Déplace l'horloge à droite et intègre les boutons de fenêtres au panneau supérieur.	16.04 à 18.04
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.	16.04 à 18.04
Window List (extension officielle)	Une barre de tâches simple.	14.04 à 18.04
GNOME Global Application Menu	Fournit une barre de menus globale et un HUD comme sur Unity.	18.04 ( parfois instable, déconseillé)
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.	16.04 à 18.04 pour les sessions Xorg seulement.
No Title Bar	Retire la barre de titre pour les fenêtres maximisées, et affiche les boutons de fenêtres dans la barre supérieure.	16.04 à 18.04
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 sont mal gérés. Cette extension les envoie dans la barre supérieure.	16.04 à 18.04
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 !).	16.04 à 18.04
Remove Dropdown Arrows	Supprime les petites flèches superflues qui indiquent que certains items dans la barre supérieure sont des menus.	14.04 à 18.04

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

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

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

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

• https://extensions.gnome.org/
• Tutoriel : personnaliser GNOME
• GNOME Shell
• gnome-tweak-tool
• GNOME Web
• (en) Tutoriel : Manual Installation of GNOME Extension from ZIP File [Easy Steps]