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

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 les extensions de shell GNOME. Ces extensions sont des modules complémentaires pour le bureau GNOME qui ajoutent de nouvelles fonctionnalités ou modifient des fonctionnalités existantes pour les étendre, un peu comme des modules complémentaires de navigateur.





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





peux-tu voir qui te cherche sur google

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, frappe 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. Installez 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 de 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. Frappé Alt + F2 , tapez « r » et appuyez sur Entrée.





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

Tapez « tweaks » dans la zone de recherche et cliquez sur le bouton Ajustements icône.

Cliquez sur Rallonges dans le volet gauche de la Ajustements boite de dialogue. Vous verrez une liste d'extensions avec des descriptions. Utilisez le ALLUMÉ ÉTEINT 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. Installez 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 comprend 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 à la page d'extension ou de module 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.

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

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.

Frappé 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é.

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

Pour installer une extension, cliquez sur le titre de l'extension dans la liste. Sur la page de l'extension, cliquez sur le ALLUMÉ ÉTEINT bouton curseur à droite.

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 .

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.

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

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

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

3. Installer les extensions GNOME Shell manuellement

Vous pouvez télécharger des extensions à partir du site Web des extensions GNOME 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 ( Boutons au panneau ) et le titre de la fenêtre du panneau ( Titre du panneau ). Ils sont disponibles sous forme de téléchargements de fichiers ZIP et vous les installez manuellement. Soyez sûr que vous 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 :

le dossier ou le fichier est ouvert dans un autre programme
gnome-shell --version

A titre d'exemple, nous allons installer le Extension de gestion des dossiers d'applications manuellement depuis le site Web des extensions GNOME. Cette extension vous permet de regrouper des icônes dans la vue Applications.

Sur la page Web de l'extension, sélectionnez le Version coque à Télécharger . Ensuite, sélectionnez le Version d'extension . Le téléchargement démarre automatiquement.

Ouvrez Nautilus et extrayez le fichier téléchargé en faisant un clic droit sur le fichier et en sélectionnant Extraire ici .

presse 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.

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 le metadata.json fichier et sélectionnez Ouvrir avec l'éditeur de texte .

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

Retournez dans le dossier de l'extension dans Nautilus et sélectionnez le dossier. Ensuite, frappez F2 pour le renommer. Collez le texte que vous avez copié à partir du 'uuid' dans le Nom de dossier case et cliquez Renommer .

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

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

Comment désactiver ou désinstaller les extensions GNOME Shell

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 à moins que vous ne désinstalliez 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 des extensions GNOME, vous pouvez utiliser le site Web pour désactiver ou désinstaller ces extensions. Pour désactiver une extension, cliquez sur le bouton ALLUMÉ ÉTEINT bouton curseur pour qu'il se lit DÉSACTIVÉ .

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 dire quelles extensions sont celles-ci par le blanc X dans l'icône de la boîte rouge à droite de la ALLUMÉ ÉTEINT bouton curseur. Clique le X bouton pour désinstaller l'extension.

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'extensions du ~/.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 y a une extension disponible, appelée Notification de mise à jour d'extension , 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 fournit un dock pour GNOME Shell, 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

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 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écharger: Indicateur de presse-papiers

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 de terminal avec une touche (la touche tilde (~) au-dessus du Languette par défaut) qui descend du haut de l'écran ou apparaît du bas.

Télécharger: Borne déroulante

Améliorez la productivité avec les extensions de shell GNOME

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 .

Partager Partager Tweeter E-mail Canon vs Nikon : quelle marque d'appareil photo est la meilleure ?

Canon et Nikon sont les deux plus grands noms de l'industrie de l'appareil photo. Mais quelle marque propose la meilleure gamme d'appareils photo et d'objectifs ?

Lire la suite
Rubriques connexes
  • Linux
  • Ubuntu
  • Shell GNOME
A propos de l'auteur Lori Kaufman(62 articles publiés)

Lori Kaufman est une rédactrice technique indépendante vivant dans la région de Sacramento, en Californie. C'est une geek des gadgets et de la technologie qui aime écrire des articles pratiques sur un large éventail de sujets. Lori aime aussi lire les mystères, le point de croix, le théâtre musical et Doctor Who. Connectez-vous avec Lori sur LinkedIn .

Plus de Lori Kaufman

Abonnez-vous à notre newsletter

Rejoignez notre newsletter pour des conseils techniques, des critiques, des ebooks gratuits et des offres exclusives !

Cliquez ici pour vous abonner