Le Garage hermétique

Ce site est essentiellement consacré à Gnome Shell mais pas que.

Aller au contenu | Aller au menu | Aller à la recherche

Application : Gnome Tweak Tool

Gnome-tweak-tool.png

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.

Les commentaires sont fermés


aucune annexe



À voir également

gmb.png

Application : Gmusicbrowser - un lecteur de musique léger, performant et hautement personnalisable

J'ai longtemps erré sous Linux à la recherche d'un lecteur de musique me convenant. J'ai essayé...

Lire la suite

Wallch1.png

Application : Wallch - Un changeur de papier peint

Wallch est une application permettant de gérer l'affichage du fond d'écran du bureau (papier peint)...

Lire la suite