Cette page n'a pas encore d'étiquettes.
Apportez votre aide…

Ceci est une ancienne révision du document !


Outil de personnalisation GNOME

L'outil de personnalisation GNOME (en anglais, GNOME Tweak Tool), est un utilitaire fourni par défaut avec Gnome Shell pour en permettre la personnalisation.

Cet utilitaire est installé par défaut sur Ubuntu Gnome, et, à partir d'Ubuntu 17.10, sur la variante par défaut d'Ubuntu.

Si il n'est pas là, il faut alors installer le paquet "gnome-tweak-tool".

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.

  • gnome-tweak-tool.1504714336.txt.gz
  • Dernière modification: Le 06/09/2017, 18:12
  • par 88.121.19.161