Comment personnaliser GNOME Shell dans Ubuntu à l’aide d’extensions
Depuis Ubuntu 17.10, le bureau GNOME 3 est le bureau par défaut. Il existe de nombreuses nouvelles fonctionnalités dans Ubuntu 18.04, et vous pouvez même utiliser les extensions du shell GNOME pour étendre les fonctionnalités de votre bureau Ubuntu. 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 étendre, un peu comme les modules complémentaires du navigateur.
Lisez la suite pour en savoir plus sur les différentes façons d’installer et d’activer les extensions GNOME Shell, comment supprimer des extensions et comment être informé des mises à jour des 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, frappez Ctrl + Alt + T Ouvrez 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. Si votre système est lent, utilisez Tweaks pour désactiver les extensions et accélérer votre système.
Vous pouvez installer les extensions GNOME Shell de trois manières.
1. Installez l’extension 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 l’ensemble minimal d’extensions GNOME qui seront disponibles dans Tweaks. Tout d’abord, assurez-vous que Tweaks est désactivé.
Faire une vidéo du jour
Ensuite, ouvrez une fenêtre de terminal en cliquant sur Ctrl + Alt + Tsaisissez la commande suivante et appuyez sur Entrée :
sudo apt installer les extensions gnome-shell
Vous devez redémarrer GNOME Shell.battre Alt + F2saisissez « r » et appuyez sur Entrée.
Pour commencer le réglage, cliquez sur afficher la demande dans le coin inférieur gauche de l’écran.
Tapez « tweaks » dans la zone de recherche et cliquez sur Ajustement icône.
Cliquez sur étendre dans le volet de gauche Ajustement dialogue. Vous verrez une liste d’extensions avec des descriptions.utiliser interrupteur Le bouton du curseur à droite active et désactive l’extension.
Certaines extensions ont des paramètres (icône d’engrenage) que vous pouvez modifier pour personnaliser l’extension.
2. Installez l’extension GNOME Shell dans votre navigateur Web
Le site Web des extensions GNOME vous permet de rechercher, d’installer et de gérer des extensions pour le bureau GNOME. Ce site Web est une alternative à la gestion des extensions à l’aide de l’outil GNOME Tweaks.
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 une extension de navigateur ou un module complémentaire. 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 à cette page et installer l’extension ou le module complémentaire.
Nous utilisons Chrome dans nos exemples, mais vous pouvez installer des extensions ou des modules complémentaires dans l’un des navigateurs suivants :
Après avoir 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.
battre Ctrl + Alt + T Ouvrez 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 installer 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 l’extension.
Si vous souhaitez uniquement voir les extensions disponibles pour la version actuelle de GNOME Shell, sélectionnez version actuelle depuis compatible la liste déroulante. Les extensions conçues pour les anciennes versions de GNOME Shell peuvent fonctionner avec les versions actuelles, mais pas avec toutes les versions.
Pour installer une extension, cliquez sur le titre de l’extension dans la liste.Sur la page d’extension, cliquez sur interrupteur Bouton curseur sur la droite.
S’il s’agit d’une extension déjà fournie 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 d’extension fournit une icône dans la zone de la barre d’état système qui vous permet d’activer et de désactiver rapidement l’extension et d’accéder à ses paramètres lorsqu’ils sont disponibles.
Vous pouvez également activer et désactiver les extensions et configurer les paramètres d’extension sur le site Web des extensions GNOME.
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.
Pour utiliser le site Web des extensions GNOME afin de gérer les extensions installées, cliquez sur extensions installées dans la barre d’outils du site Web.
3. Installer manuellement les extensions GNOME Shell
Vous pouvez télécharger des extensions à partir du site Web GNOME Extensions pour une installation manuelle hors ligne. Vous pouvez également trouver des extensions téléchargeables sur d’autres sites Web.
Par exemple, il existe deux extensions disponibles qui vous permettent de déplacer des boutons de fenêtre vers des panneaux (boutons vers des panneaux) et le titre d’une fenêtre vers des panneaux (titres vers des panneaux). Ils sont disponibles sous forme de téléchargements de fichiers ZIP que vous pouvez installer manuellement. Assurez-vous d’analyser les fichiers téléchargés avant l’extraction et l’installation.
Lors du téléchargement d’extensions sur le site Web des extensions GNOME, vous devez sélectionner la version de GNOME Shell que vous exécutez.Pour savoir quelle version vous utilisez, cliquez sur Ctrl + Alt + T Pour ouvrir une fenêtre de terminal, tapez la commande suivante et appuyez sur Entrée :
gnome-shell –version
Par exemple, nous installerons manuellement l’extension Appfolders Management à partir du site Web GNOME Extensions. Cette extension permet de regrouper les icônes dans la vue de l’application.
Sur la page Web de l’extension, sélectionnez version coque arriver TéléchargerEnsuite, sélectionnez Version étendue. Le téléchargement commencera automatiquement.
Ouvrez Nautilus et en cliquant avec le bouton droit sur le fichier et en sélectionnant extraire ici.
selon Ctrl + H Afficher les fichiers et dossiers cachés.Ensuite, sélectionnez le dossier des extensions extraites et cliquez sur Ctrl + C Copiez le dossier extrait.Accédez au dossier suivant et appuyez sur Ctrl + V Collez le dossier d’extension :
~/.local/share/gnome-shell/extensions
Un tilde (~) représente votre dossier personnel.
Nous devons maintenant nous assurer que le nom du dossier d’extension correspond au nom dans le fichier de métadonnées.
Ouvrez le dossier des extensions dans lequel vous venez de coller ~/.local/share/gnome-shell/extensions dossier.Clic-droit metadata.json fichier et sélectionnez Ouvrir avec un éditeur de texte.
Trouvez la valeur de « uuid », sélectionnez-la (sans les guillemets) et copiez-la.
Revenez au dossier de l’extension dans Nautilus et sélectionnez-le.Ensuite, frappez F2 renommez-le.Collez le texte que vous avez copié de « uuid » dans Nom de dossier case et cliquez Renommer.
Vous devez maintenant redémarrer GNOME Shell.battre Alt + F2tapez « r » et appuyez sur Entrée :
Les extensions installées manuellement sont également disponibles sur étendre Rubrique réglage. Vous pouvez les activer et les désactiver et modifier leurs paramètres ici et 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. Vous ne pouvez pas désinstaller Tweaks à moins de les désinstaller.Pour désinstaller Tweaks, cliquez sur Ctrl + Alt + T Pour ouvrir une fenêtre de terminal, tapez la commande suivante et appuyez sur Entrée :
sudo apt supprimer 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 l’extension, cliquez sur interrupteur bouton de curseur pour qu’il se lise laisser.
Seules les extensions installées sur le site Web GNOME Extensions mais non disponibles dans l’outil Tweaks peuvent être désinstallées.Quelles extensions vous pouvez dire par le blanc X dans l’icône de la boîte rouge à droite interrupteur Bouton curseur.Cliquez sur X bouton pour désinstaller l’extension.
Les extensions installées à l’aide du site GNOME Extensions sont également ajoutées à ~/.local/share/gnome-shell/extensions dossier.Par conséquent, vous pouvez désinstaller ces extensions, ainsi que toutes les extensions que vous avez installées manuellement, en démarrant ~/.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 des mises à jour sont disponibles pour les extensions 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’une mise à jour d’une extension est installée sur votre système.
Installation utile de l’extension GNOME Shell
Voici quelques extensions GNOME Shell utiles pour vous aider à démarrer.
1. Dash to Dock
Dash to Dock fournit un dock pour GNOME Shell, vous donnant un accès plus facile à vos applications et une commutation plus rapide entre les applications ouvertes et le bureau.
Les panneaux latéraux se transforment en docks qui peuvent être affichés à 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 qui affectent l’apparence et le comportement du Dock.
Télécharger: se précipita vers le quai
2. Indicateur de presse-papiers
L’extension d’indicateur de presse-papiers ajoute un indicateur de presse-papiers au panneau supérieur et stocke l’historique du presse-papiers. Cela vous donne accès aux éléments que vous avez copiés dans votre presse-papiers depuis l’installation de l’extension et les colle dans des applications telles que des traitements de texte ou des éditeurs de texte.
Vous pouvez modifier les paramètres (tels que 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
3. Abaissez le terminal
Si vous utilisez beaucoup la ligne de commande, vous pouvez installer l’extension Drop Down Terminal.Cela vous permet d’accéder à la fenêtre du terminal en appuyant sur une touche (le tilde (~) au-dessus du Étiqueter par défaut) déroulant depuis le haut de l’écran ou pop-up depuis le bas.
Télécharger: tirez la borne
Augmentez la productivité avec les extensions GNOME Shell
Même si vous n’aimez pas vraiment le nouveau GNOME Shell, vous pouvez utiliser des extensions pour le personnaliser et le transformer en un environnement de bureau utile et productif.
En bref, l’extension GNOME Shell fournit une autre raison de passer à Ubuntu 18.04.
…
