Comment personnaliser Gnome Shell
Souhaitez-vous modifier l'apparence de votre interface Gnome Shell, que ce soit les icônes, le thème ou la police, sans savoir comment procéder ? N'ayez crainte. Cet article vous guidera à travers les étapes essentielles pour personnaliser et adapter votre environnement de bureau Gnome à vos préférences. Des icônes aux curseurs de souris, en passant par les extensions, les polices et bien d'autres éléments, ce guide complet vous expliquera comment personnaliser Gnome Shell. Plongeons-nous dans le vif du sujet !
L'outil Tweak
Les ajustements décrits dans cet article sont réalisés à l'aide de l'outil Gnome Tweak. Il est possible qu'il soit déjà installé sur votre système Linux. Si ce n'est pas le cas, lancez un terminal ou un gestionnaire de logiciels, recherchez "Gnome Tweak Tool" et installez-le.
L'apparence
Contrairement à de nombreux environnements de bureau, la section "Apparence" de Gnome Shell est remarquablement simple. Elle n'est pas divisée en onglets distincts. Dans cette partie, nous allons explorer comment modifier divers aspects de l'apparence de Gnome.
Pour commencer, vérifiez que l'outil Gnome Tweak est bien installé. Une fois installé, ouvrez-le et examinez la liste sur la gauche. Sélectionnez l'option "Apparence".
Le thème GTK
Gnome est largement basé sur la boîte à outils GTK3. Par conséquent, tous les éléments de décoration des fenêtres et les contrôles des programmes en dépendent. Le thème GTK détermine l'aspect général de votre système d'exploitation. Pour changer de thème, accédez à l'outil Tweak et repérez "GTK+".
À côté de l'intitulé GTK+, cliquez sur le menu déroulant. Une liste de tous les thèmes GTK3 installés sur le système s'affiche. Sélectionnez un thème et Gnome appliquera instantanément le nouveau thème.
Le thème Gnome Shell
Comme mentionné précédemment, Gnome est en grande partie construit sur GTK3. Cependant, le thème GTK+ n'est pas le seul élément constitutif d'un bureau Gnome. Il faut également tenir compte du Shell.
Le Shell de Gnome représente l'interface globale que l'utilisateur utilise lorsqu'il se trouve dans Gnome. Par défaut, le Shell de Gnome utilise le thème Adwaita. Ce thème fonctionne correctement, mais il n'est pas le plus attrayant.
La modification du thème du Shell n'est pas possible par défaut. Il est nécessaire d'activer une extension qui permet d'utiliser des thèmes personnalisés avec Gnome Shell. Pour activer cette extension, repérez l'onglet "Extensions" sur la gauche et cliquez dessus. Recherchez "Thèmes utilisateur" et cliquez sur le bouton "Désactiver" pour l'activer.
Après avoir activé l'extension, retournez à la section "Apparence" et trouvez "Thème Shell". Cliquez sur le menu déroulant adjacent et sélectionnez un thème. Gnome appliquera immédiatement le nouveau thème.
Les icônes
La modification des icônes dans Gnome 3 est très simple. Accédez à l'onglet "Apparence" dans Gnome Tweak Tool et repérez la section "Icônes". À côté de l'intitulé "Icônes", vous trouverez un menu déroulant. Cliquez sur ce menu pour afficher tous les thèmes d'icônes installés sur le système. Pour changer de thème, sélectionnez-en un dans la liste.
Le curseur
Peut-être que vous ne le saviez pas, mais il est également possible de personnaliser le curseur de votre souris dans Gnome 3. Pour ce faire, rendez-vous dans la section "Apparence" de Gnome Tweak Tool, et repérez "Curseur". Cliquez sur le menu déroulant situé à côté de l'intitulé "Curseur". Le menu déroulant affichera tous les thèmes de curseur installés sur votre système. Pour changer de thème, sélectionnez-en simplement un.
Les extensions
Le bureau Gnome 3 offre aux utilisateurs la possibilité d'installer des extensions pour modifier facilement le fonctionnement de leur environnement de bureau. Pour gérer ces extensions, sélectionnez "Extensions" dans Tweak Tool. À partir de cette section, les extensions installées peuvent être activées, désactivées ou désinstallées. Vous trouverez plus d'informations sur les extensions ici.
Les polices
Pour modifier les paramètres de police dans Gnome Shell, cherchez la section "Polices" de Gnome Tweak Tool. La section des polices offre de nombreuses options à l'utilisateur. Dans ce menu, vous pouvez changer la police des titres de fenêtres, la police des documents et la police à espacement fixe. Il est également possible de modifier l'apparence des polices sur le système (facteurs d'indication et d'anti-aliasing) et d'activer la mise à l'échelle HiDPI.
La barre supérieure
La barre supérieure de Gnome n'offre pas autant de possibilités de personnalisation que d'autres environnements de bureau sous Linux. Cependant, quelques options existent. Pour accéder à ces options de personnalisation, ouvrez l'outil Gnome Tweak et sélectionnez "Barre supérieure".
Dans la section "Barre supérieure", il y a quelques paramètres que les utilisateurs peuvent activer. Cochez les cases pour activer des éléments tels que l'affichage de la date à côté de l'heure, l'ajout des secondes à l'heure, et l'affichage des numéros des semaines dans le calendrier. Les utilisateurs peuvent également désactiver le menu de l'application en mode vue d'ensemble dans Gnome Shell en sélectionnant le bouton Arrêt à côté de "Afficher le menu de l'application".
Autres ajustements
L'un des aspects qui dérange les utilisateurs de Gnome Shell est l'absence des boutons de réduction et de maximisation sur les fenêtres.
Pour activer ces boutons, ouvrez Gnome Tweak et trouvez la section "Fenêtres". Dans cette section, recherchez les boutons à côté de "Minimiser" et "Maximiser". Cliquez sur ces boutons pour activer les fonctionnalités de réduction et de maximisation dans votre environnement Gnome Shell.
Conclusion
Bien qu'il n'existe pas d'environnement de bureau "standard" pour Linux, Gnome Shell pourrait bien en être le plus proche. Presque toutes les distributions Linux populaires, qu'elles soient légères ou complètes, l'utilisent comme environnement de bureau principal. On le trouve partout. Il est donc appréciable de savoir qu'il s'agit de l'un des environnements de bureau les plus faciles à personnaliser. Si vous recherchez un environnement de bureau moderne, avec de nombreuses options de personnalisation, Gnome est un excellent choix !