Application : Gnome Tweak Tool
Publié le dimanche 24 juin 2012, 23:08 - modifié le 10/07/12 - Applications - Lien permanent
- Article
- |
- Commentaires (4)
- |
- Fichiers attachés (4)
Gnome Tweak Tool, parfois appelé 'Advanced Settings' dans certaines distributions, est la première tentative pour centraliser les modifications de l'interface de Gnome Shell.
S'il ne le fait pas très bien pour les extensions, qui nécessiteraient une meilleure organisation (mais il date de l'apparition des premières extensions et son concepteur n'imaginait probablement pas que tous les deux jours sortirait une nouvelle extension), pour le reste, il reste un outil indispensable.
S'il n'est pas installé sur votre système, c'est un défaut qu'il faut corriger en entrant dans un terminal :
sudo apt-get install gnome-tweak-tool
Lancez ensuite gnome-tweak-tool : gnome-tweak-tool
Et naviguez dans les onglets :
- Desktop
Pour laisser la main au gestionnaire de fichiers sur votre bureau, y faire apparaître des répertoires par défaut, etc. - Fonts
Pour tout gérer de ce qui est police de caractère du système. - Shell
Régler l'horloge ou le calendrier, les boutons des fenêtres, les actions par défaut lorsque le portable est fermé. - Shell Extensions
Pour activer, désactiver, installer des extensions - Themes
Pour modifier le thème graphique de l'interface (nécessite que l'extension User Theme soit installée).- 'Shell theme' permet d'installer un thème (depuis son fichier archive) et, surtout, de choisir entre les thèmes installés celui que vous désirez - ce thème affecte le panneau principal, le mode exposition et les notifications
- 'GTK+ theme' affecte 'l'intérieur' des fenêtres y compris les menus
- 'Window theme' affecte les décorations des fenêtres (barre de titre, boutons et encadrement) -- nécessite de se déconnecter/reconnecter pour que cela prenne effet
- Window
Divers réglages.
Derniers commentaires