Tutoriels

Comment personnaliser Gnome Shell

Vous voulez changer l’icône, le thème du shell ou même la police dans Gnome Shell mais vous ne savez pas comment? Ne pas s’inquiéter. Dans cet article, nous vous apprendrons tout ce qu’il faut savoir sur la façon de prendre l’environnement de bureau Gnome, de le personnaliser et de le personnaliser. Des icônes, aux curseurs de souris, aux extensions, aux polices et tout le reste; ceci est le guide définitif sur la façon de personnaliser Gnome Shell. Commençons!

Outil Tweak

Toutes les personnalisations de cet article sont effectuées à l’aide de l’outil Gnome Tweak. Il est peut-être déjà installé sur votre PC Linux. Sinon, ouvrez un terminal ou un navigateur logiciel, recherchez «Gnome Tweak Tool» et installez-le.

Apparence

Contrairement à beaucoup d’autres environnements de bureau, la section Apparence de Gnome Shell est très simple. Il n’est pas séparé en onglets individuels. Dans cette section, nous verrons comment changer différents aspects de l’apparence de Gnome.

Pour commencer, assurez-vous que Gnome Tweak Tool est installé. Une fois installé, ouvrez l’outil Tweak et regardez la liste sur le côté gauche. Sélectionnez «Apparence».

Thème GTK

Gnome est construit en grande partie grâce à la boîte à outils GTK3. En conséquence, toutes les décorations de fenêtre et les contrôles de programme en dépendent. Le thème GTK est responsable de l’apparence de tout cela sur votre système d’exploitation. Pour changer de thème, allez dans l’outil Tweak et trouvez «GTK +».

  Comment référencer des éléments de liste numérotés dans un document Microsoft Word

À côté de l’étiquette GTK +, sélectionnez le menu déroulant. Cela révèle une liste de tous les thèmes GTK3 installés disponibles sur le système. Sélectionnez un thème dans la liste et Gnome passera instantanément au thème sélectionné.

Thème Gnome Shell

Gnome est construit en grande partie grâce à GTK3. Cela dit, le thème GTK + n’est pas la seule chose qui constitue un bureau Gnome. Il y a aussi le Shell à s’inquiéter.

L’aspect Shell de Gnome est le bureau global que l’utilisateur utilise lorsqu’il est à l’intérieur de Gnome. Par défaut, le shell Gnome utilise le thème Adwaita. Tout va bien pour un thème Gnome ordinaire, mais ce n’est pas le plus excitant.

Changer le thème du shell n’est pas possible dès le départ. Au lieu de cela, vous devrez activer une extension qui permet aux thèmes utilisateur d’être utilisés avec Gnome Shell. Pour activer l’extension, recherchez l’onglet «Extension» sur la gauche et cliquez dessus. Recherchez « Thèmes utilisateur » et cliquez sur le bouton « Désactiver » pour l’activer.

Après avoir cliqué sur le bouton, revenez à «Apparence» et trouvez «Thème Shell». Cliquez sur le menu déroulant à côté et sélectionnez un thème dans le menu. Gnome passera instantanément au nouveau thème.

Icônes

Changer les icônes dans Gnome 3 est très simple. Pour ce faire, allez simplement dans l’onglet Apparence dans Gnome Tweak Tool, et localisez «Icônes». À côté de l’étiquette «Icônes», il y a un menu déroulant. Cliquez sur ce menu pour afficher tous les thèmes d’icônes installés sur le système. Pour basculer vers n’importe quel thème, sélectionnez-en un dans la liste.

  Comment réparer "Nous n'avons trouvé aucun dossier à vous montrer" dans les paramètres de stockage sous Windows 10

Le curseur

Pour ceux qui ne le savaient pas: il est possible de thématiser le curseur de votre souris sur Gnome 3. Pour ce faire, allez dans «Apparence» dans Gnome Tweak Tool, et cherchez «Cursor». Sélectionnez le menu déroulant à côté de l’étiquette «Curseur». Le menu déroulant révélera tous les thèmes de curseur de souris installés sur le système. Pour changer de thème, sélectionnez-en simplement un.

Extensions

Le bureau Gnome 3 permet aux utilisateurs d’installer des extensions pour modifier facilement le fonctionnement de leur bureau. Pour personnaliser ces extensions, sélectionnez «Extensions» dans Tweak Tool. À partir de là, les extensions installées peuvent être activées et désactivées, ou entièrement désinstallées. En savoir plus sur les extensions ici.

Polices

Pour modifier les paramètres de police dans Gnome Shell, recherchez la section «Polices» de Gnome Tweak Tool. La section des polices offre à l’utilisateur de nombreuses options. Dans ce menu, vous pouvez modifier la police des titres de fenêtre, 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.

Barre du haut

La barre supérieure de Gnome n’est pas aussi gratuite à personnaliser que les autres environnements de bureau sous Linux. Cela dit, il existe des options. Pour accéder à ces options de personnalisation, ouvrez l’outil Gnome Tweak et sélectionnez «Barre supérieure».

  Comment toujours prendre des photos nettes

Dans la zone «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 de secondes à côté de l’heure et l’affichage des nombres à côté des semaines sur 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 réglages

L’une des choses qui gênent les utilisateurs lors de l’utilisation de Gnome Shell est le manque de boutons de réduction et de maximisation présents sur les fenêtres.

Pour activer cela, accédez à Gnome Tweak et recherchez «Windows». À l’intérieur de cette zone, recherchez les boutons à côté de «minimiser» et «maximiser». Cliquez sur les boutons pour les activer pour réduire et maximiser les fonctionnalités dans l’environnement de bureau Gnome Shell.

Conclusion

Bien qu’il n’y ait pas d’environnement de bureau «standard» pour Linux, le Gnome Shell pourrait tout aussi bien l’être. Presque toutes les distributions Linux grand public, quel que soit leur poids dans la communauté, l’utilisent comme environnement de bureau principal. Il y en a partout. C’est pourquoi il est si cool de savoir que c’est l’un des ordinateurs de bureau les plus simples en matière de personnalisation. Si vous recherchez un environnement de bureau moderne, rempli d’excellentes options de personnalisation, Gnome est un excellent choix!