Comment personnaliser l'environnement GNOME dans Ubuntu à l'aide d'extensions

Le bureau GNOME 3 est maintenant la valeur par défaut pour Ubuntu, et il supporte de nombreuses extensions de shell qui ajoutent des fonctionnalités supplémentaires. Voici comment trouver et installer les extensions de shell GNOME sur Ubuntu.

Le bureau GNOME 3 est maintenant la valeur par défaut pour Ubuntu, et il supporte de nombreuses extensions de shell qui ajoutent des fonctionnalités supplémentaires.  Voici comment trouver et installer les extensions de shell GNOME sur Ubuntu.
Publicité

À partir d'Ubuntu 17.10, le bureau GNOME 3 est le bureau par défaut. Il y a beaucoup de nouvelles fonctionnalités dans Ubuntu 18.04, et vous pouvez même étendre les fonctionnalités du bureau Ubuntu avec les extensions GNOME. Ces extensions sont des add-ons pour le bureau GNOME Qu'est-ce que le passage à GNOME signifie pour Ubuntu Qu'est-ce que le passage à GNOME signifie pour Ubuntu? Canonical a annoncé la fin du bureau Unity. Depuis Ubuntu 18.04, le bureau GNOME sera restauré. Qu'est-ce que cela signifie pour Ubuntu, et sa relation avec les utilisateurs de Linux? Pour en savoir plus, ajoutez de nouvelles fonctionnalités ou modifiez les fonctionnalités existantes pour les développer, un peu comme les modules complémentaires du navigateur.

Lisez la suite pour trouver différentes façons d'installer et d'activer les extensions GNOME Shell, comment supprimer des extensions et comment être averti des mises à jour d'extensions.

Comment installer et gérer les extensions du shell GNOME

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 Ubuntu Software Center, mais la façon la plus simple de l'installer est d'utiliser la ligne de commande.

Alors, appuyez sur Ctrl + Alt + T pour ouvrir une fenêtre de terminal. Ensuite, tapez 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. Alors, faites attention au nombre d'extensions que vous installez et activez. Utilisez les Tweaks pour désactiver les extensions et accélérer votre système 6 façons d'accélérer le bureau GNOME 6 façons d'accélérer le bureau GNOME GNOME est l'interface de bureau que vous obtenez sur la plupart des distributions Linux. Voulez-vous accélérer les choses? Ces améliorations amélioreront votre expérience GNOME. Lire la suite si cela devient lent.

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

1. Installation des extensions de shell GNOME à l'aide de l'outil GNOME Tweaks

Une fois que vous avez installé l'outil GNOME Tweaks, vous pouvez installer un paquet contenant un ensemble minimal d'extensions GNOME, qui sera disponible dans Tweaks. D'abord, assurez-vous que Tweaks est fermé.

Ensuite, ouvrez une fenêtre Terminal en tapant 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, tapez "r" et appuyez sur Entrée.

Redémarrez le shell GNOME

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

Cliquez sur Afficher l'application dans Ubuntu

Tapez "tweaks" dans la boîte de recherche et cliquez sur l'icône Tweaks .

Rechercher et ouvrir Tweaks

Cliquez sur Extensions dans le volet gauche de la boîte de dialogue Tweaks . Vous verrez une liste d'extensions avec des descriptions. Utilisez les boutons de curseur ON / OFF sur la droite pour activer et désactiver les extensions.

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

2. Installer les extensions de shell GNOME 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 de 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 appropriée ou à la page complémentaire du navigateur que vous utilisez. Cliquez sur le lien pour accéder à la page et installer l'extension ou le module complémentaire.

Message d'intégration de GNOME Shell dans Chrome

Nous utilisons Chrome dans notre exemple, mais vous pouvez installer l'extension ou l'add-on dans l'un des navigateurs suivants:

  • Google Chrome, Chromiun et Vivaldi
  • Firefox
  • Opéra

Une fois l'extension ou le module complémentaire installé, actualisez la page Web 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 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é.

Le connecteur de l'hôte natif n'a pas été installé dans Chrome

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 de l'environnement GNOME, sélectionnez Version actuelle dans la liste déroulante Compatible avec . Les extensions faites pour les anciennes versions de GNOME Shell peuvent fonctionner dans la version actuelle, mais pas toutes.

Sélectionnez la version actuelle dans Compatible avec la liste déroulante

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

Activer une extension sur le site Web de GNOME Extensions dans Chrome

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 .

Télécharger et installer le message pour l'extension GNOME Shell

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

Extension installée et activée

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

Gérer les extensions sur le site Web des extensions GNOME

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

Gérer les extensions dans Tweaks

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

Liste des extensions installées dans Chrome

3. Installez les extensions shell GNOME manuellement

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

Par exemple, il y a deux extensions disponibles qui vous permettent de déplacer les boutons de la fenêtre sur le panneau (Boutons vers le panneau) et le titre de la fenêtre sur le panneau (Titre au panneau). Ils sont disponibles en téléchargement de fichiers ZIP et vous les installez manuellement. Assurez-vous de scanner les fichiers téléchargés. Les 7 meilleurs programmes anti-virus Linux gratuits Les 7 meilleurs programmes anti-virus Linux gratuits Lisez la suite avant de les extraire et de les installer.

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

 gnome-shell --version 

Obtenir la version actuelle de GNOME Shell

À titre d'exemple, nous allons installer l'extension Appfolders Management à partir du site Web des extensions GNOME manuellement. Cette extension vous permet de regrouper des icônes dans la vue Applications.

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

Sélectionnez la version Shell pour le téléchargement de l'extension

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

Extraire les fichiers d'extension dans Nautilus

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. Accédez au 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 de départ.

Copier le dossier extrait

Maintenant, nous devons nous assurer que le nom du dossier d'extension correspond à ce qu'il y a dans le fichier de métadonnées.

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

Ouvrir le fichier metadata.json dans un éditeur de texte

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

Copiez l'uuid dans le fichier metadata.json

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é à partir de "uuid" dans la zone Nom du dossier et cliquez sur Renommer .

Renommez le dossier d'extension en uuid dans le fichier metadata.json

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

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

Extension installée manuellement dans Tweaks

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 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 Extensions GNOME, vous pouvez utiliser le site Web pour désactiver ou désinstaller ces extensions. Pour désactiver un poste, cliquez sur le bouton de curseur ON / OFF afin qu'il affiche OFF .

Seules les extensions installées sur le site Web de GNOME Extensions qui ne sont pas disponibles dans l'outil Tweaks peuvent être désinstallées. Vous pouvez savoir quelles extensions sont celles du X blanc dans l'icône de la boîte rouge à droite du bouton coulissant ON / OFF . Cliquez sur le bouton X pour désinstaller l'extension.

Désinstallez une extension sur le site Web de GNOME Extensions

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

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

La seule façon de savoir si une mise à jour est disponible pour une extension GNOME Shell est de visiter le site Web GNOME Extensions. 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 de shell GNOME utiles à installer

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

1. Dash to Dock

Dash to Dock Extension de GNOME

Dash to Dock fournit un dock pour l'environnement GNOME, facilitant l'accès à vos applications et permettant de basculer plus rapidement entre les applications ouvertes et les postes de travail.

Le panneau latéral est converti en une station d'accueil pouvant être affichée à 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échargement: Dash to Dock

2. Indicateur de presse-papiers

Indicateur de presse-papiers Extension de GNOME

L'extension Indicateur de Presse-papiers 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 telle qu'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échargement: Indicateur de presse - papiers

3. Dérouler Terminal

Laisser tomber l'extension GNOME du terminal

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 touche Tab par défaut) qui descend du haut de l'écran ou apparaît à partir du bas.

Téléchargement: Drop Down Terminal

Améliorez la productivité avec les extensions shell GNOME

Même si vous n'aimez pas le nouveau shell GNOME, vous pouvez le personnaliser en utilisant des extensions et le transformer en un environnement de bureau utile et productif.

En résumé, les extensions de GNOME Shell fournissent une autre raison de passer à Ubuntu. 18.04 LTS Ubuntu 18.04 LTS est la dernière version de support à long terme du système d'exploitation Linux le plus populaire. Voici pourquoi vous devriez mettre à jour Ubuntu à la dernière version. Lire la suite .

In this article