Gnome Shell, essentiellement connu sous le nom de shell graphique sous Linux, offre les avantages de changer de fenêtre, de changer les polices, les icônes, de lancer des applications et de contrôler votre notification. Parfois, nous devons personnaliser le shell Gnome, ce qui est difficile à changer pour nous. Cet article montrera les moyens les plus simples de personnaliser diverses icônes, polices, curseurs de souris, etc. Voyons donc comment procéder.

Outil de modification de Gnome

Pour une personnalisation complète du shell Gnome, l’outil Gnome Tweak est très efficace. Il fournit de nombreuses options pour personnaliser toutes les icônes, extensions et fenêtres. Au début, vous devez l’installer sur votre Linux. S’il n’est pas installé, vous devez ouvrir un émulateur de terminal pour l’installer.

sudo apt-get install gnome-tweak-tool

Apparence

L’apparence est très utile et offre une option simple pour personnaliser le shell Gnome et l’environnement de bureau. Vous trouverez facilement cette option dans la barre latérale gauche de l’onglet principal de Gnome. Avant cela, vous devez installer l’outil Gnome Tweak pour utiliser l’option « apparence », car vous en aurez le contrôle.

Thème GTK

Un thème personnalisé rend évidemment votre peau géniale. Vous trouverez probablement certains des meilleurs thèmes de shell Gnome. Chaque thème a sa propre option personnalisée. Cependant, vous pouvez gérer vos thèmes à partir de l’outil Gnome Tweak.

Vous pouvez facilement modifier l’interface du thème à partir du menu de réglage, car le menu déroulant permet de modifier les thèmes GTK+. Ainsi, lorsque vous sélectionnez le thème, Gnome-shell transformera avec succès votre environnement de bureau Gnome en quelque chose de vraiment beau.

Thème de coquille de gnome

Le thème GTK fait partie de Gnome Desktop, mais ce n’est pas toute la solution pour changer le thème de votre bureau Ubuntu. Le shell Gnome a également attiré l’attention en plus du thème GTK.

Il existe un thème par défaut sur le shell Gnome, connu sous le nom de thème Adwaita. Ce thème n’est pas passionnant du tout, bien que ce soit un thème ordinaire.

Pour utiliser le thème personnalisé, vous devez l’activer à partir de « l’onglet Extension », car il vous permettra d’utiliser des thèmes utilisateur. Vous devez donc accéder à «l’onglet d’extension» et rechercher les «thèmes utilisateur», puis activer les thèmes utilisateur. Maintenant, vous devez aller dans l’onglet apparence et sélectionner les « Thèmes Shell » que vous avez précédemment ajoutés. Maintenant, Gnome Shell va changer votre thème et le rendre plus personnalisé.

Icônes

Il est très facile de changer l’icône sur Gnome Shell. Vous devriez aller dans l’onglet Apparence de l’outil Tweak. Recherchez maintenant les icônes dans le menu déroulant. Il vous encouragera à changer les icônes par défaut sans aucune difficulté.

Polices

La personnalisation des polices rend votre écran magnifique. Les polices par défaut semblent parfois moins bonnes. Il faut donc changer les polices. Cependant, il est très facile de changer la police dans Gnome Shell. Dans un premier temps, vous devez trouver le menu « Polices » de l’outil Gnome Tweak. Vous aurez beaucoup d’options à partir de là. Vous pouvez facilement changer la police des titres, la police des documents, etc., à partir du shell Gnome.

Le curseur

Le curseur rend principalement l’apparence de votre écran très belle. Savez-vous qu’il existe de nombreux curseurs colorés disponibles sur le shell Gnome ? Pour changer le curseur, vous devez aller dans l’onglet Apparence de l’outil Tweak. Cliquez maintenant sur le curseur dans le menu déroulant. Vous y trouverez des curseurs impressionnants. Sélectionnez vos meilleurs curseurs, ce qui rendra votre bureau bien meilleur.

Barre du haut

La personnalisation de la barre supérieure est très facile sur Gnome Shell sous Linux. Vous y aurez beaucoup de fonctions. Cela dit, il y a des options. Si vous souhaitez le personnaliser, accédez à Gnome Tweak Tool et sélectionnez « Top Bar ». Vous pouvez facilement activer quelques paramètres à partir de là.

Vous pouvez ajouter une date à côté de la barre supérieure, ajouter un numéro à côté de la semaine, etc. De plus, vous pouvez modifier la couleur de la barre supérieure, afficher la superposition, etc. C’est vraiment génial. Si vous souhaitez désactiver l’option de la barre supérieure, vous devez accéder au menu Gnome Shell Tweak.

Extensions Gnome

De nombreuses extensions peuvent être téléchargées à partir du référentiel d’extensions Gnome, ce qui améliore considérablement votre écran. Les extensions peuvent être facilement installées. Vous obtiendrez diverses options de décoration d’écran à partir des extensions Gnome. Sélectionnez simplement l’extension que vous souhaitez utiliser. Sinon, vous pouvez le désinstaller complètement.

Autres paramètres effectifs

Le shell Gnome n’a pas le bouton Agrandir et Réduire lorsque vous utilisez son premier plan. Cette chose semble floue pour l’utilisateur. Cependant, vous pouvez facilement le réparer en accédant à l’onglet Gnome Tweak. Vous devez trouver le bouton Réduire et Maximiser pour un ajustement avec le Gnome Shell.

Le shell Gnome est le meilleur outil pour rendre votre bureau Ubuntu Linux génial. Si vous trouvez un autre programme remplaçant Gnome, ce ne sera pas une bonne décision pour vous. Après tout, vous pouvez facilement obtenir de nombreux avantages et une mise en page mieux personnalisée en utilisant Gnome. Ainsi, Gnome sera certainement votre meilleur choix.

Je pense que vous avez une idée claire du Gnome Shell sous Linux. Si vous l’aimez, partagez-le avec vos amis. Merci beaucoup.