Le plongeon d'Ubuntu dans GNOME en tant qu'environnement de bureau par défaut est venu comme une bonne nouvelle avec une pincée de sel. Personne ne douterait que cela a dérouté les utilisateurs finaux habitués au bureau Unity. La bonne nouvelle est que GNOME a ses avantages par rapport à Unity. L'une des meilleures fonctionnalités de GNOME à ce jour est la multitude d'extensions GNOME disponibles.
Les extensions GNOME sont de minuscules applications qui peuvent modifier l'apparence du bureau. Il ajoute des fonctionnalités pratiques au bureau et peut donc faciliter la vie en augmentant la productivité. Dans les paramètres par défaut d'Ubuntu 17.10, les extensions GNOME ne sont pas activées. Voyons comment l'installer et le configurer.
Installation des extensions GNOME dans Ubuntu 17.10
Pour installer des extensions dans GNOME Shell, vous pouvez utiliser le navigateur Firefox ou Chrome. Avant d'ajouter des extensions au navigateur, vous devez d'abord installer le shell Chrome GNOME dans votre système qui pourra parler à l'extension du navigateur. Bien qu'il s'appelle Chrome GNOME shell, il fonctionne sur Firefox ainsi que sur le navigateur Chrome/Chromium.
Étape 1) Lancez "Terminal".
sudo apt install chrome-gnome-shell
Étape 2) Ensuite, cliquez sur le lien ci-dessous sur le navigateur Firefox ou Chrome.
Ajoutez des extensions GNOME Shell à votre navigateur
Étape 3) Cliquez sur le lien qui dit, "Cliquez ici pour installer l'extension du navigateur."
Étape 4) Cliquez sur "Ajouter une extension".
C'est ça! Votre système est maintenant prêt à installer les extensions GNOME. Rendez-vous sur https://extensions.gnome.org/ pour commencer à installer des extensions !