Gnome Shell Extensions est le meilleur outil pour personnaliser votre Linux. Vous améliorerez la beauté de votre bureau Linux avec des icônes impressionnantes, des polices personnalisées, un pack de skins impressionnant, etc. Le shell Gnome a des extensions impressionnantes, qui vous fourniront certainement des fonctionnalités supplémentaires. Tout d’abord, vous devez activer l’outil de réglage pour installer toutes les extensions. Les extensions Gnome Shell sont comme les extensions de navigateur traditionnelles que vous utilisez sur votre navigateur chrome ou firefox, et elles sont gratuites. Vous avez besoin d’un navigateur pour une installation réussie. Dans cet article, je vais partager Comment allez-vous personnaliser les extensions Gnome Shell.

Outil d’intégration Chrome

Si vous souhaitez personnaliser les extensions du shell Gnome, vous aurez besoin d’un navigateur Web pour télécharger la dernière extension pour votre shell Gnome. Vous devez savoir que Gnome Shell nécessite une extension basée sur un navigateur Web pour fonctionner correctement. Fondamentalement, les plugins ne fonctionneront pas bien dans votre navigateur. Il affichera le message d’erreur sur votre navigateur.

Parfois, cela cessera de fonctionner. Google Chrome a requis le plug-in de l’API Netscape pour charger toutes les extensions du shell Gnome. Lorsque Google le supprime, ces fonctionnalités cessent de fonctionner du tout. Cependant, le développeur Gnome a récemment créé des outils d’intégration pour vous faciliter la tâche. Avec cet outil, vous pouvez facilement télécharger les extensions via le navigateur Google Chrome.

Maintenant, je vais vous montrer comment intégrer cet outil Chrome dans diverses distributions Linux.

Arch Linux

Publicité

Les extensions Gnome Shell nécessitent un package Arch Linux Runtime supplémentaire pour fonctionner correctement. Alors maintenant, vous devez télécharger le package AUR disponible.

À présent Télécharger le pack AUR et installez-le.

Pour Ubuntu

Tapez cette commande

sudo apt-get install chrome-gnome-shell

Pour Fedora

L’extension Gnome Runtime est également disponible pour Fedora. Vous devez utiliser ces commandes pour installer :

sudo dnf copr enable region51/chrome-gnome-shell
sudo dnf install chrome-gnome-shell

OuvrirSUSE

L’environnement d’exécution Gnome Google Chrome est désormais disponible dans le Service OpenSUSE. Il vous fournira le processus d’installation en 1 clic à terminer. Il faut moins de 2 minutes pour installer avec succès.

Pour Gentoo

Tapez cette commande

sudo emerge -av gnome-extra/chrome-gnome-shell

Extension du navigateur Firefox

Le navigateur Firefox est l’un des meilleurs navigateurs qui vous fournira une extension impressionnante. Si vous souhaitez installer des extensions Gnome via le navigateur Firefox, vous aurez besoin d’une extension intégrée Gnome. Cela vous permettra d’installer l’extension directement sur Gnome Shell.

Dans un premier temps, ouvrez votre navigateur Firefox, allez dans le onglet d’extension. Maintenant, il vous montrera une fenêtre contextuelle avec un message d’avertissement. Vous cliquez sur le bouton d’installation, puis la fenêtre d’avertissement disparaîtra.

Comment installer des extensions

Extensions Du Shell Gnome

Les extensions du shell Gnome sont très faciles à utiliser sur divers environnements de bureau Gnome Linux. Il n’a pas besoin de composants supplémentaires pour démarrer. Les installations de Gnome Extension sont vraiment simples et faciles. Dans un premier temps, vous devriez visiter le page d’extension officielle Télécharger. Vous obtiendrez diverses extensions Gnome ou vous pourrez en rechercher une spécifique.

Désactivation De L'Extension Gnome Shell

Chaque extension est livrée avec un bouton d’installation cliquable et une page d’informations détaillées. Vous faites un simple clic pour installer directement sur votre bureau Gnome. Plus tard, vous pourrez modifier vos environnements de bureau Gnome Linux via Gnome Tweak Tool.

Activation, désactivation et désinstallation des extensions

L’outil de réglage Gnome vous aide essentiellement à gérer toutes les extensions que vous avez précédemment installées. Vous pouvez installer, désinstaller, activer, désactiver l’extension à partir de là. Vous aurez également des options spéciales pour modifier l’extension. Chaque utilisateur Linux qui utilise le shell Gnome doit avoir Tweak Tool. S’il n’est pas installé, vous devez d’abord l’installer. Non pas que ce soit très facile à installer.

Onglet D'Extension De L'Outil Ubuntu Gnome Tweak

Pour Ubuntu

sudo apt install gnome-tweak-tool

Pour Fedora

sudo dnf install gnome-tweak-tool

Arch Linux

sudo pacman -S gnome-tweak-tool

OuvrirSUSE

sudo zypper install gnome-tweak-tool

DebianName

sudo apt-get install gnome-tweak-tool

Lorsque vous installez Tweak Tool avec succès, vous pouvez activer ou désactiver les extensions installées à partir de l’onglet « Extensions » de Gnome. Une chose que vous devez retenir est que la désactivation de toute extension de l’outil Tweak ne signifie pas sa désinstallation.

Vous pouvez toujours activer cette extension plus tard si nécessaire. Si vous souhaitez supprimer complètement l’extension, cliquez simplement sur désinstaller. Vous devez vous rappeler que toutes les extensions sont amovibles. Il n’a pas besoin de commande supplémentaire pour désinstaller.

À vous

Les extensions du shell Gnome sont un outil très efficace pour personnaliser votre bureau Ubuntu Gnome Linux. Les extensions sont tellement géniales que vous ne pouvez pas imaginer. Cependant, les extensions sont très faciles à utiliser et parfaites pour une meilleure personnalisation. Vous pouvez modifier, activer/désactiver et désinstaller sans aucune difficulté. Vous trouverez les modifications lorsque vous l’installerez sur votre Ubuntu Linux.

Je pense que vous avez une idée claire de la personnalisation et de la modification de votre système Linux Ubuntu via l’extension Gnome Shell. Si vous l’aimez, partagez-le avec vos amis. Merci beaucoup.

Rate this post
Publicité
Article précédentTablette Samsung Galaxy Tab A8 de 10,5 pouces avec LTE et 64 Go en vente pour 239 $ S, se vend normalement à 478 $ S
Article suivantOnePlus 10 Pro tombe à 699 $, plus les écouteurs Jabra
Avatar
Violette Laurent est une blogueuse tech nantaise diplômée en communication de masse et douée pour l'écriture. Elle est la rédactrice en chef de fr.techtribune.net. Les sujets de prédilection de Violette sont la technologie et la cryptographie. Elle est également une grande fan d'Anime et de Manga.

LAISSER UN COMMENTAIRE

S'il vous plaît entrez votre commentaire!
S'il vous plaît entrez votre nom ici