La grande majorité des paramètres courants, qu’ils soient personnels ou relatifs au système, sont accessibles en cliquant dans le coin supérieur droit, sur une icône en forme d’engrenage ou sur une autre icône évidente, en fonction de votre distribution Linux.
Cependant, il existe de nombreuses configurations que de nombreux utilisateurs aimeraient modifier et qui ne sont pas accessibles de cette manière ; l’utilitaire de configuration par défaut est malheureusement assez limité dans les distributions modernes basées sur GNOME. Souvent, la volonté de simplicité a rendu difficile l’adaptation de votre système à vos goûts et à vos besoins.
Heureusement, il existe un utilitaire standard, gnome-tweaks, qui expose beaucoup plus d’options de paramétrage. Il vous permet également d’installer facilement des extensions réalisées par des tiers. Toutes les distributions Linux n’installent pas cet outil par défaut, mais il est toujours disponible (les anciennes distributions utilisaient le nom gnome-tweak-tool).
Vous pouvez le lancer en appuyant sur Alt-F2 et en tapant son nom. Vous pouvez l’ajouter à votre liste de favoris, s’il est déjà installé par défaut sur votre distribution. Certaines distributions plus récentes ont remplacé la plupart des fonctionnalités de cet outil par un nouvel outil, appelé gnome-extensions-app.
Installation de gnome-tweaks
Gnome-tweaks est disponible sur la plupart des distributions Linux, mais il n’est pas toujours installé par défaut. Pour installer gnome-tweaks, vous pouvez utiliser votre gestionnaire de paquets, qui varie en fonction de votre distribution Linux.
Par exemple, si vous utilisez Ubuntu, vous pouvez ouvrir un terminal et taper la commande suivante pour installer gnome-tweaks :
sudo apt-get install gnome-tweaks
Une fois installé, vous pouvez lancer gnome-tweaks en appuyant sur la touche Super (ou la touche Windows) de votre clavier et en tapant « gnome-tweaks ». Ou, comme nous l’avons mentionné précédemment, vous pouvez également le lancer en appuyant sur Alt-F2 et en tapant son nom.
Choix de personnalisation avec gnome-tweaks:
- Thèmes
L’onglet « Apparence » de gnome-tweaks vous permet de changer le thème de votre environnement de bureau GNOME. Vous pouvez choisir parmi une sélection de thèmes prédéfinis, ou télécharger des thèmes personnalisés à partir du site GNOME-Look. - Icônes
L’onglet « Apparence » vous permet également de changer les icônes de votre environnement de bureau GNOME. Comme pour les thèmes, vous pouvez choisir parmi une sélection d’icônes prédéfinies ou télécharger des icônes personnalisées à partir de GNOME-Look. - Polices
L’onglet « Polices » vous permet de changer la police utilisée dans votre environnement de bureau GNOME. Vous pouvez également modifier la taille de la police et le style (gras, italique, etc.). - Raccourcis clavier
L’onglet « Raccourcis clavier » vous permet de personnaliser les raccourcis clavier pour les actions courantes, telles que la capture d’écran, le lancement d’une application, la mise en veille, etc. - Paramètres de la souris et du touchpad
L’onglet « Périphériques » vous permet de configurer les paramètres de la souris et du touchpad, tels que la vitesse de défilement, la vitesse du pointeur, le clic droit/toucher pour clic droit, etc. - Paramètres de l’affichage
L’onglet « Affichage » vous permet de configurer les paramètres de votre écran, tels que la résolution