Contenu | Rechercher | Menus

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.

Voir aussi



Le contenu de ce wiki est sous licence : CC BY-SA v3.0