Depuis Ubuntu 17.10, l'environnement de bureau GNOME 3 est la valeur par défaut. Ubuntu 18.04 introduit de nombreuses nouveautés, et vous pouvez étendre ses fonctionnalités grâce aux extensions GNOME Shell. Ces modules complémentaires ajoutent ou améliorent les options du bureau, à l'image des extensions de navigateur web.
Découvrez dans ce guide expert les méthodes pour installer, activer, supprimer les extensions GNOME Shell et recevoir les notifications de mises à jour. Suivez nos étapes précises pour un bureau optimisé et performant.
Avant toute installation, installez l'outil GNOME Tweaks (anciennement gnome-tweak-tool), essentiel pour gérer les extensions. Disponible dans le gestionnaire de logiciels Ubuntu, préférez la ligne de commande pour plus de simplicité.
Appuyez sur Ctrl + Alt + T pour ouvrir un terminal, puis exécutez :
sudo apt install gnome-tweaksAttention : un trop grand nombre d'extensions peut ralentir votre système. Utilisez Tweaks pour les désactiver si nécessaire et retrouver des performances optimales.
Voici trois méthodes fiables pour installer les extensions GNOME Shell.
Après installation de Tweaks, ajoutez un pack d'extensions minimales. Fermez Tweaks, ouvrez un terminal (Ctrl + Alt + T) et exécutez :
sudo apt install gnome-shell-extensionsRedémarrez le shell GNOME : Alt + F2, tapez "r" et validez.
Lancez Tweaks via l'icône "Afficher les applications" (coin inférieur gauche), recherchez "tweaks" et ouvrez-le.
Dans Tweaks, sélectionnez Extensions. Activez/désactivez via les interrupteurs. Personnalisez les paramètres avancés (icône engrenage).
Le site officiel extensions.gnome.org permet de parcourir, installer et gérer les extensions facilement.
Installez d'abord l'intégration : extension navigateur + connecteur hôte.
Suivez le lien pour votre navigateur (Chrome/Chromium/Vivaldi, Firefox, Opera), puis installez le connecteur :
sudo apt install chrome-gnome-shell
Actualisez la page. Filtrez par Version actuelle pour compatibilité optimale.
Installez en cliquant sur l'extension puis l'interrupteur ON/OFF.
L'extension s'active automatiquement et apparaît dans la barre d'état ou Tweaks.
Gérez vos extensions installées via Extensions installées.
Téléchargez les ZIP depuis extensions.gnome.org ou sources fiables (scannez-les pour sécurité).
Vérifiez votre version GNOME : Ctrl + Alt + T, puis :
gnome-shell --version
Exemple : Appfolders Management. Téléchargez le ZIP compatible, extrayez-le dans Nautilus (Extraire ici).
Affichez les fichiers cachés (Ctrl + H), copiez le dossier vers ~/.local/share/gnome-shell/extensions.
Vérifiez le nom : Éditez metadata.json, copiez le "uuid", renommez le dossier (F2).
Redémarrez : Alt + F2, "r". L'extension apparaît dans Tweaks.
Dans Tweaks, basculez les interrupteurs. Pour supprimer Tweaks :
sudo apt remove gnome-tweaksVia le site : OFF pour désactiver ; X rouge pour désinstaller (extensions non-Tweaks).
Supprimez manuellement les dossiers de ~/.local/share/gnome-shell/extensions.
Visitez régulièrement extensions.gnome.org ou installez "Extension Update Notifier" pour des alertes automatiques.
Voici des extensions phares pour booster votre productivité.
Transforme le dash en dock personnalisable (position, taille icônes). Accès rapide aux apps.
Télécharger : Dash to Dock
Historique du presse-papiers dans la barre supérieure, configurable.
Télécharger : Clipboard Indicator
Terminal déroulant rapide (touche ~ par défaut).
Télécharger : Drop Down Terminal
Même si GNOME vous semble minimaliste, les extensions le rendent ultra-personnalisable et efficace. Une raison de plus d'adopter Ubuntu !
[]