Si vous utilisez une distribution Linux avec un environnement de bureau à base de gnome depuis longtemps, vous devez être conscient de la transition des bibliothèques GNOME 2 / GTK2 à Gnome Shell / GTK3. Avec l'avènement de Gnome Shell, de nombreux paramètres utiles qui existaient dans les environnements de bureau basés sur GNOME 2 ont été supprimés, cachés ou déplacés, ce qui rend difficile pour l'utilisateur moyen de trouver ces paramètres. Cet article discutera d'un outil intitulé «Gnome Aweaks» ou «Gnome Tweak Tool» qui révèle certains de ces paramètres aux utilisateurs finaux dans les distributions Linux basées sur la coque GNOME comme Ubuntu. Ces paramètres ne sont généralement pas disponibles dans les paramètres du système principal (également connu sous le nom de GNOME Control Center).
Installez les ajustements GNOME
Vous pouvez installer des ajustements GNOME dans Ubuntu en exécutant la commande spécifiée ci-dessous:
$ sudo apt install gnome-tweaks
Les ajustements GNOME peuvent être installés dans d'autres distributions Linux à base de coque GNOME à partir du gestionnaire de packages. Dans certaines distributions, vous le trouverez peut-être par le nom de "Gnome Tweak Tool".
Vous pouvez lancer GNOME Tweaks à partir du lanceur d'applications ou en exécutant la commande spécifiée ci-dessous:
$ gnome-tweaks
Personnaliser le panneau supérieur
Gnome Shell se compose d'un panneau situé au bord supérieur de l'écran. Il abrite un plateau système, un déclencheur d'activités et une horloge centrée sur le panneau. Aucun paramètre n'est disponible par défaut pour personnaliser la mise en page ou les éléments du panneau supérieur. Cependant, dans la section «barre supérieure» des ajustements GNOME, vous pouvez désactiver le déclencheur des activités du cornin chaud, activer le pourcentage de batterie restant et personnaliser le comportement de l'applet d'horloge, comme indiqué dans la capture d'écran ci-dessous:
Gérer les extensions de la coquille de gnome
Les extensions de coquille de gnome sont des addons officiels et tiers qui étendent la fonctionnalité de Gnome Shell. Vous pouvez obtenir ces extensions d'ici. Par défaut, les paramètres d'extension ne sont pas révélés dans GNOME Control Center. Vous pouvez plutôt gérer les extensions des ajustements Gnome, comme indiqué dans la capture d'écran ci-dessous:
Les dernières versions de Gnome Shell incluent désormais également une nouvelle application «Extensions» qui peut être lancée à partir du lanceur d'applications pour gérer les extensions installées.
Gérer les paramètres des espaces de travail
Les espaces de travail sont des zones de bureau distinctes où vous pouvez regrouper des applications d'exécution selon vos besoins. Par exemple, vous pouvez regrouper une application de lecteur de musique et une application de lecteur vidéo dans un espace de travail dédié à la lecture des médias ou vous pouvez regrouper une application d'éditeur de texte et un émulateur de terminal dans un autre espace de travail destiné au développement d'applications.
Vous pouvez accéder à la section «Espaces de travail» des ajustements GNOME pour basculer entre les espaces de travail dynamiques à la demande ou le nombre fixe d'espaces de travail. Vous pouvez également configurer les espaces de travail pour apparaître sur l'écran primaire uniquement ou sur tous les écrans connectés.
Changer le comportement du gestionnaire de fenêtres
Gnome Shell comprend Mutter comme fenêtre par défaut et gestionnaire de composition. Vous pouvez modifier son comportement de la section «Windows» des ajustements de gnomes. Vous pouvez attacher ou détacher les boîtes de dialogue modales, activer ou désactiver le claquement de fenêtre et le carrelage de bord, personnaliser le comportement de mise au point de la fenêtre, modifier la touche Super Action (généralement la touche avec l'icône Windows sur le clavier) etc.
Personnaliser le comportement de la barre de titre de fenêtre
La section «Titre Bars» de la fenêtre dans GNOME Tweaks vous permet de minimiser et de maximiser les boutons et leur placement sur une fenêtre d'application. Vous pouvez également modifier le comportement des clics de souris sur les barres de titre et diverses actions qui leur sont mappées.
Ajouter ou supprimer les applications de démarrage
Vous pouvez utiliser la section «Applications de démarrage» dans GNOME TWEAKS pour ajouter ou supprimer des applications qui seront automatiquement lancées sur un nouveau redémarrage ou sur une nouvelle session de connexion.
Notez que cette section dans Gnome ajustement ne vous permet pas d'entrer des commandes personnalisées. Il existe une autre application autonome simplement appelée «applications de démarrage» qui peuvent être utilisées pour définir les commandes personnalisées.
Modifier les paramètres des périphériques d'entrée
La section «clavier et souris» dans les ajustements de gnomes peut être utilisée pour modifier le comportement de diverses sources d'entrée connectées au système. Vous pouvez modifier la vitesse d'accélération, le comportement du pavé tactile et faire basculer certaines fonctionnalités d'accessibilité.
Changer la configuration de la police
Comme les paramètres de police ne sont pas intégrés dans les paramètres du système, la seule façon de modifier les propriétés de la police est d'utiliser la section «Fonts» dans GNOME Tweaks. Ici, vous pouvez modifier les styles de police, leurs poids et modifier la façon dont ils rendent en modifiant les paramètres d'entraînement, d'antialiasage et de mise à l'échelle.
Changer le thème du système
Vous pouvez aller dans la section «Apparence» pour modifier le thème GTK3, le thème de la coque Gnome, le thème icône, le style du curseur et le thème sonore. Notez que pour modifier le thème du shell Gnome, vous devrez peut-être installer l'extension «thèmes utilisateur» disponible ici.
Autres réglages
Enfin, dans la section «générale», vous pouvez modifier quelques autres paramètres pour activer ou désactiver les animations du système ou modifier le comportement de suspension lorsque vous utilisez des appareils alimentés à batterie.
Paramètres plus avancés
Si vous ne trouvez pas un paramètre particulier dans GNOME Tweaks, essayez d'utiliser «DCONF Editor» pour parcourir les paramètres avancés. DCONF Editor est un entrepôt central pour gérer les paramètres de toutes les applications modernes basées sur GTK3 et GNOME 3. Il s'agit d'un outil extrêmement puissant et une mauvaise bascule ou un autre changement dans les paramètres peut casser votre système. Marchez soigneusement tout en l'utilisant, mais si vous savez ce que vous faites, c'est un outil assez complet pour modifier presque tous les aspects des environnements de bureau à base de coquille de gnome.
Vous pouvez installer l'éditeur DCONF dans Ubuntu en exécutant la commande spécifiée ci-dessous:
$ sudo apt installer dconf-éditeur
L'éditeur DCONF peut être installé dans d'autres distributions Linux basées sur le shell GNOME à partir du gestionnaire de packages.
Conclusion
Gnome Tweaks est un outil assez pratique si vous souhaitez modifier certains paramètres cachés sans risquer la rupture du système. Les utilisateurs finaux qui essaient pour la première fois Shell Gnome peuvent ne pas le savoir. Les distributions Linux utilisant Gnome Shell comme environnement de bureau par défaut devraient avoir des ajustements de gnome préinstallés par défaut.