Ceci est une ancienne révision du document !
Outil de personnalisation GNOME (Ajustements)
L'outil de personnalisation GNOME (en anglais, GNOME Tweak Tool), est un utilitaire fourni pour permettre la personnalisation de GNOME Shell.
Depuis sa version 3.26, l'outil de personnalisation se nomme "Ajustements" ("GNOME Tweaks" en anglais).
Installation
Cet utilitaire est installé par défaut sur Ubuntu GNOME.
Mais il n'est pas présent par défaut à partir d'Ubuntu 17.10 : il faut alors installer le paquet "gnome-tweak-tool".
Interface
Sur le coté, on voit une liste de catégories de choses à modifier. Le plus simple reste peut-être de rechercher le paramètre voulu avec l'icône qui ouvre la barre de recherche.
Apparence
Permet de changer de thème d'icônes, de thème GTK+, de thème de curseur. Pour changer le thème de Gnome Shell lui-même (barre supérieure, dash, menus de la barre supérieure, etc.), il faut activer l'extension "User Theme" (voir plus loin) puis installer un thème Gnome Shell.
Désactiver les animations permet de fluidifier la navigation et la recherche si votre ordinateur est peu performant.
Applications au démarrage
Les applications ajoutées ici se lanceront au démarrage de la session.
Barre Supérieure
Possibilité de régler ce qui apparaît dans le bouton de l'horloge (date, secondes, etc.). Possibilité de choisir si le menu de l'application (appmenu) doit apparaître dans la barre supérieure ou plutôt dans le coin de la fenêtre concernée.
Bureau
Activer les icônes sur le bureau (et en ajouter quelques unes comme la corbeille).
Choix et paramétrage du fond d'écran et de l'écran de verrouillage.
Clavier et souris
Paramètres de clic pour le pavé tactile, d'accélération de la souris, coller avec le clic du milieu, etc.
Espaces de travail
Régler si les espaces de travail sont dynamiques (création et suppression automatiques) ou statiques (dans ce cas, régler leur nombre).
Extensions
Activer, désactiver, désinstaller ou paramétrer les extensions (voir l'article dédié aux extensions) qui permettent de personnaliser en profondeur l'interface de Gnome Shell.
Fenêtres
Divers paramètres de gestion des fenêtres (action des clics et des touches spéciales, activation des boutons de fenêtres "minimiser" et "maximiser", etc.). Mise à l'échelle de l'interface pour écrans à haute densité de pixels.
Polices
Nom, taille et optimisation des polices pour les titres, les documents, les interfaces, etc.
Saisie
Paramètres avancés de saisie au clavier (comportement des touches spéciales et paramètres spécifiques à certains claviers étrangers).
Énergie
Action de la fermeture de l'écran (ordi portable) et du bouton d'alimentation.