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

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).

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, où il se trouve normalement dans la logithèque sous le nom de "Ajustements".

Sinon, pour obtenir ce logiciel, il suffit d'installer le paquet "gnome-tweak-tool".

Lancez l'application "Ajustements" (ou, précédemment, "Outil de personnalisation GNOME") comme indiqué ici, ou via le terminal avec la commande suivante :

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. Détaillons chacune des sections disponibles :

Apparence

Cette section 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. Ré-ouvrez alors Ajustements pour sélectionner le thème voulu.

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

Plusieurs possibilités sont offertes :

  • régler ce qui apparaît dans le bouton de l'horloge (date, secondes, etc.).
  • 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.
  • afficher ou non le pourcentage de charge de la batterie (ordinateurs portables seulement).

Bureau

Activer les icônes sur le bureau (et choisir lesquelles ajouter au bureau par défaut : Corbeille, Dossier personnel, Volumes montés, Serveurs réseaux).

Choix et paramétrage du fond d'écran et de l'écran de verrouillage.

Clavier et souris

Paramétrage avancé du clavier et des touches spéciales.

Paramètres de clic pour le pavé tactile, d'accélération de la souris, coller ou non 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), et comment ils se comportent vis-à-vis des écrans dans le cas où il y en a plusieurs.

Extensions

Activer, désactiver, désinstaller1) ou paramétrer les extensions (voir l'article dédié aux extensions) qui permettent de personnaliser en profondeur l'interface de GNOME Shell.

Les extensions permettent des personnalisations très riches de l'interface : ajout de menus, gestion du presse-papier, organisation générale de l'interface, …

Fenêtres

Cette section contient divers paramètres de gestion des fenêtres

  • action des clics et des touches spéciales sur les fenêtres et les barres de titre,
  • (dé)activation des boutons de fenêtres "minimiser" et "maximiser" (et leurs positions),
  • gestion du focus des fenêtres.
  • [Versions antérieures à 3.25 seulement] mise à l'échelle de l'interface pour écrans à haute densité de pixels.

Polices

Nom, taille, mise à l'échelle et optimisation des polices pour les titres, les documents, les interfaces, etc.

Saisie

Présente dans les versions antérieures à 3.25 seulement, cette section est par la suite fusionnée avec Clavier et souris

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.


1)
versions antérieures à 3.25 seulement
  • gnome-tweak-tool.1508871185.txt.gz
  • Dernière modification: Le 24/10/2017, 20:53
  • par Roschan