Par défaut, Gnome-Shell fait un peu pauvre. Heureusement il existe des extensions que l'on peut installer facilement.
Page des extensions du Gnome-Shell
https://extensions.gnome.org/
Installation d'une extension
Difficulté principale : c'est en anglais.
L'installation d'une extension est très simple :
- Chercher une extension à installer : lire la description sommaire, puis cliquer sur le nom pour accéder à une fiche descriptive plus détaillée ;
- Dans cette fiche, à la gauche du nom, il y a un bouton ON/OFF : pour installer une extension, il suffit de la passer en mode ON ;
- Une boîte de dialogue s'affiche demandant la confirmation de l'installation ;
- Valider cette boîte installe l'extension dans le répertoire : $HOME /.local/share/gnome-shell/extension ;
- La modification du Gnome-Shell est immédiate.
 |
| Fiche détaillé d'une extension |
Gestion des extensions
Le site web des extensions fournit également une page qui fait office d'interface pour gérer les extensions présentes sur votre poste.
Cliquez sur l'onglet Installed Extensions :
 | |
| Gestion des extensions installées localement |
Supprimer / désinstaller une extension
Il suffit de cliquer sur la croix cerclée de rouge à droite de la description de l'extension.ATTENTION : il n'y a pas de demande de confirmation. Le répertoire local ne contient plus les fichier de configuration de l'extension.
Si vous avez retiré une extension par erreur : il ne vous reste plus qu'à la réinstaller.
Il est possible d'annuler une désinstallation car dans le haut de la page, une boite de dialogue est insérée vous indiquant l'action que vous avez faite ainsi qu'une possibilité d'annuler l'opération grâce au lien undo (visiblement pas fonctionnel). Donc c'est réinstallation...
NOTE : certaines extensions peuvent devenir obsolètes. Cela est notifié par une boite de dialogue lorsque l'on vient sur cette page. Dans ce cas, il suffit de désinstaller l'extension.
Activer / désactiver une extension
Sur cette même page vous pouvez désactivez une extension en la passant en mode OFF : l'extension sera toujours présente mais ne sera plus active. Pour l'activer de nouveau, il suffit de cliquer sur le bouton de gauche pour la repasser en mode ON.Attention
Il faut avoir conscience que le produit est encore en version Beta.Aussi, il faut éviter de désinstaller une extension en allant la supprimer dans le répertorie local. Cela perturbe la gestion des extensions (peut-être un problème de cookie).
De même, il faut éviter d'installer des extensions de même nature car cela risque de perturber leur fonctionnement. Par
Conclusion
Les extensions améliorent considérablement l'expérience Gnome-Shell. Leur installation et leur gestion sont simples et toute modification s'utilise immédiatement.
Il y a suffisamment d'extensions pour pallier certains désagréments comme la nécessité d'appuyer sur la touche ALT pour éteindre l'ordinateur.
A noter la très belle extension shellshape qui permet de ranger les fenêtres ouvertes sur le bureau (système de tiling). Une extension que j'attendais depuis fort longtemps :-)
