FRFAM.COM >> Famille >> Technologie &Innovation >> Informatique

Comment personnaliser le shell GNOME dans Ubuntu à l'aide d'extensions

À partir d'Ubuntu 17.10, le bureau GNOME 3 est la valeur par défaut. Il existe de nombreuses nouvelles fonctionnalités dans Ubuntu 18.04, et vous pouvez même étendre les fonctionnalités du bureau Ubuntu avec des extensions de shell GNOME. Ces extensions sont des modules complémentaires pour le bureau GNOME qui ajoutent de nouvelles fonctionnalités ou modifient les fonctionnalités existantes pour les développer, un peu comme les modules complémentaires du navigateur.

Lisez la suite pour découvrir différentes manières d'installer et d'activer les extensions GNOME Shell, comment supprimer des extensions et comment être informé des mises à jour d'extensions.

Comment installer et gérer les extensions GNOME Shell

Avant d'installer des extensions, installez l'outil GNOME Tweak (également appelé Tweaks). C'est le principal moyen de gérer les extensions GNOME Shell. L'outil est disponible dans le centre logiciel Ubuntu, mais le moyen le plus simple de l'installer consiste à utiliser la ligne de commande.

Alors, appuyez sur Ctrl + Alt + T pour ouvrir une fenêtre de terminal. Tapez ensuite la commande suivante et appuyez sur Entrée :

sudo apt install gnome-tweak-tool 

L'installation et l'activation d'extensions dans GNOME peuvent ralentir votre système. Faites donc attention au nombre d'extensions que vous installez et activez. Utilisez Tweaks pour désactiver les extensions et accélérer votre système s'il devient lent.

Vous avez trois façons d'installer les extensions GNOME Shell.

1. Installer les extensions GNOME Shell à l'aide de l'outil GNOME Tweaks

Une fois que vous avez installé l'outil GNOME Tweaks, vous pouvez installer un package contenant un ensemble minimal d'extensions GNOME, qui seront disponibles dans Tweaks. Tout d'abord, assurez-vous que Tweaks est fermé.

Ensuite, ouvrez une fenêtre Terminal en appuyant sur Ctrl + Alt + T , en tapant la commande suivante et en appuyant sur Entrée :

sudo apt install gnome-shell-extensions 

Vous devez redémarrer le shell GNOME. Appuyez sur Alt + F2 , saisissez "r" et appuyez sur Entrée.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Pour démarrer Tweaks, cliquez sur Afficher les applications dans le coin inférieur gauche de l'écran.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Tapez "tweaks" dans le champ de recherche et cliquez sur Tweaks icône.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Cliquez sur Extensions dans le volet de gauche sur les Tweaks boite de dialogue. Vous verrez une liste d'extensions avec des descriptions. Utilisez le bouton MARCHE/ARRÊT curseurs sur la droite pour activer et désactiver les extensions.

Certaines extensions ont des paramètres que vous pouvez modifier (icône d'engrenage) pour personnaliser l'extension.

2. Installer les extensions GNOME Shell dans un navigateur Web

Le site Web des extensions GNOME vous permet de rechercher, d'installer et de gérer des extensions pour le bureau GNOME. Le site Web est une alternative à l'utilisation de l'outil GNOME Tweaks pour gérer les extensions.

Lorsque vous visitez le site Web des extensions GNOME, vous verrez un message indiquant que vous devez installer l'intégration GNOME Shell, qui comporte deux parties :une extension de navigateur et une application de messagerie hôte native.

Le message fournit un lien pour installer l'extension ou le module complémentaire du navigateur. Ce lien vous amène à l'extension ou à la page complémentaire appropriée pour le navigateur que vous utilisez. Cliquez sur le lien pour accéder à la page et installer l'extension ou le module complémentaire.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Nous utilisons Chrome dans notre exemple, mais vous pouvez installer l'extension ou le module complémentaire dans l'un des navigateurs suivants :

  • Google Chrome, Chromium et Vivaldi
  • Firefox
  • Opéra [Lien brisé supprimé]

Une fois que vous avez installé l'extension ou le module complémentaire, actualisez la page Web des extensions GNOME. Vous verrez maintenant un message indiquant que vous devez installer le connecteur hôte natif.

Appuyez sur Ctrl + Alt + T pour ouvrir une fenêtre de terminal. Tapez la commande suivante et appuyez sur Entrée. La commande est la même quel que soit le navigateur que vous utilisez.

sudo apt install chrome-gnome-shell 

Entrez votre mot de passe lorsque vous y êtes invité.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Actualisez à nouveau la page Web des extensions GNOME. Il n'y a pas de message en haut et vous pouvez commencer à parcourir les extensions.

Si vous souhaitez uniquement afficher les extensions disponibles pour la version actuelle du shell GNOME, sélectionnez Version actuelle de la Compatible avec la liste déroulante. Les extensions créées pour les anciennes versions du shell GNOME peuvent fonctionner dans la version actuelle, mais pas toutes.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Pour installer une extension, cliquez sur le titre de l'extension dans la liste. Sur la page de l'extension, cliquez sur ON/OFF bouton curseur sur la droite.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

S'il s'agit d'une extension déjà disponible dans Tweaks, elle sera simplement activée. Sinon, il vous sera demandé si vous souhaitez télécharger et installer l'extension. Cliquez sur Installer .

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

L'extension est installée et automatiquement activée. Dans cet exemple, l'extension Extensions fournit une icône dans la zone de la barre d'état système qui vous permet d'activer et de désactiver rapidement les extensions et d'accéder à leurs paramètres lorsqu'ils sont disponibles.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Vous pouvez également activer et désactiver les extensions et configurer les paramètres des extensions sur le site Web des extensions GNOME.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Comme nous l'avons mentionné précédemment, les extensions installées à partir du site Web GNOME Extensions peuvent également être gérées dans Tweaks.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Pour utiliser le site Web des extensions GNOME afin de gérer vos extensions installées, cliquez sur Extensions installées dans la barre d'outils du site Web.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

3. Installer manuellement les extensions du shell GNOME

Vous pouvez télécharger des extensions à partir du site Web GNOME Extensions pour les installer manuellement hors ligne. Vous pouvez également trouver des extensions sur d'autres sites que vous pouvez télécharger.

Par exemple, il existe deux extensions disponibles qui vous permettent de déplacer les boutons de la fenêtre vers le panneau (Buttons to Panel) et le titre de la fenêtre vers le panneau (Title to Panel). Ils sont disponibles en téléchargement de fichiers ZIP et vous les installez manuellement. Assurez-vous d'analyser les fichiers téléchargés avant de les extraire et de les installer.

Lors du téléchargement d'extensions sur le site Web des extensions GNOME, vous devez sélectionner la version du shell GNOME que vous exécutez. Pour savoir quelle version vous utilisez, appuyez sur Ctrl + Alt + T pour ouvrir une fenêtre de terminal, tapez la commande suivante et appuyez sur Entrée :

gnome-shell --version 
Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Par exemple, nous allons installer manuellement l'extension Appfolders Management à partir du site Web GNOME Extensions. Cette extension vous permet de regrouper les icônes dans la vue Applications.

Sur la page Web de l'extension, sélectionnez la version Shell pour Télécharger . Ensuite, sélectionnez la version de l'extension . Le téléchargement démarre automatiquement.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Ouvrez Nautilus et extrayez le fichier téléchargé en cliquant avec le bouton droit sur le fichier et en sélectionnant Extraire ici .

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Appuyez sur Ctrl + H pour afficher les fichiers et dossiers cachés. Ensuite, sélectionnez le dossier d'extension extrait et appuyez sur Ctrl + C pour copier le dossier extrait. Allez dans le dossier suivant et appuyez sur Ctrl + V pour coller le dossier d'extension :

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

Le caractère tilde (~) représente votre dossier d'accueil.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Nous devons maintenant nous assurer que le nom du dossier d'extension correspond à ce qui se trouve dans le fichier de métadonnées.

Ouvrez le dossier d'extension que vous venez de coller dans le ~/.local/share/gnome-shell/extensions dossier. Faites un clic droit sur metadata.json fichier et sélectionnez Ouvrir avec l'éditeur de texte .

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Trouvez la valeur de "uuid", sélectionnez-la (sans les guillemets) et copiez-la.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Revenez au dossier de l'extension dans Nautilus et sélectionnez le dossier. Ensuite, appuyez sur F2 pour le renommer. Collez le texte que vous avez copié depuis "uuid" dans le Nom du dossier case et cliquez sur Renommer .

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Vous devez maintenant redémarrer le shell GNOME. Appuyez sur Alt + F2 , saisissez "r" et appuyez sur Entrée :

Les extensions installées manuellement sont également disponibles dans les Extensions section dans Tweaks. Vous pouvez les activer et les désactiver et modifier leurs paramètres ici, ainsi que sur le site des extensions GNOME.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Comment désactiver ou désinstaller les extensions du shell GNOME

Les extensions activées dans l'outil GNOME Tweaks peuvent être désactivées ou désactivées à l'aide de l'outil. Ils ne peuvent pas être désinstallés sauf si vous désinstallez Tweaks. Pour désinstaller Tweaks, appuyez sur Ctrl + Alt + T pour ouvrir une fenêtre de terminal, tapez la commande suivante et appuyez sur Entrée :

sudo apt remove gnome-tweak-tool 

Si vous avez installé des extensions à l'aide du site Web GNOME Extensions, vous pouvez utiliser le site Web pour désactiver ou désinstaller ces extensions. Pour désactiver une extension, cliquez sur ON/OFF bouton coulissant pour qu'il indique OFF .

Seules les extensions installées sur le site Web des extensions GNOME qui ne sont pas disponibles dans l'outil Tweaks peuvent être désinstallées. Vous pouvez savoir de quelles extensions il s'agit grâce au X blanc dans l'icône de boîte rouge à droite de ON/OFF bouton curseur. Cliquez sur le X bouton pour désinstaller l'extension.

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Les extensions installées à l'aide du site GNOME Extensions sont également ajoutées au ~/.local/share/gnome-shell/extensions dossier. Vous pouvez donc désinstaller ces extensions, ainsi que toutes les extensions que vous avez installées manuellement, en supprimant les dossiers d'extension de ~/.local/share/gnome-shell/extensions dossier.

Comment obtenir des notifications de mise à jour pour les extensions GNOME Shell

La seule façon de savoir si une mise à jour est disponible pour une extension GNOME Shell est de visiter le site Web des extensions GNOME. Mais il existe une extension disponible, appelée Extension Update Notifier, qui vous avertit lorsqu'il y a une mise à jour pour une extension installée sur votre système.

Extensions GNOME Shell utiles à installer

Voici quelques extensions GNOME Shell utiles pour vous aider à démarrer.

1. Dash to Dock

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Dash to Dock fournit un dock pour le shell GNOME, ce qui facilite l'accès à vos applications et accélère le basculement entre les applications ouvertes et les bureaux.

Le panneau latéral est converti en un dock qui peut être affiché à gauche, à droite, en haut ou en bas de l'écran. Vous pouvez également modifier la taille des icônes sur le dock, limiter la taille du dock lui-même et ajuster de nombreux autres paramètres affectant l'apparence et le comportement du dock.

Télécharger : Dash to Dock

2. Indicateur de Presse-papiers

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

L'extension Clipboard Indicator ajoute un indicateur de presse-papiers au panneau supérieur et stocke l'historique du presse-papiers. Cela vous permet d'accéder aux éléments que vous avez copiés dans le presse-papiers depuis l'installation de l'extension et de les coller dans une application comme un traitement de texte ou un éditeur de texte.

Vous pouvez modifier les paramètres (comme le nombre d'éléments à stocker dans l'historique du presse-papiers ou le nombre de caractères à afficher dans l'aperçu de chaque élément) dans le menu de l'extension.

Télécharger : Indicateur de Presse-papiers

Comment personnaliser le shell GNOME dans Ubuntu à l aide d extensions

Si vous utilisez beaucoup la ligne de commande, vous pouvez installer l'extension Drop Down Terminal. Cela vous permet d'accéder à une fenêtre Terminal avec une touche (la touche tilde (~) au-dessus de la Tab clé par défaut) qui descend du haut de l'écran ou apparaît du bas.

Télécharger : Terminal déroulant

Améliorer la productivité avec les extensions GNOME Shell

Même si vous n'aimez pas beaucoup le nouveau GNOME Shell, vous pouvez le personnaliser à l'aide d'extensions et le transformer en un environnement de bureau utile et productif.

En bref, les extensions GNOME Shell fournissent une autre raison de passer à Ubuntu 18.04.


[]