Le Garage hermétique

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

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

Fil des billets    Fil des commentaires

Mot-clé - personnalisation

Gnome-tweak-tool.png

Application : Gnome Tweak Tool

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

Lire la suite


Personnaliser1.png

Installer un nouveau thème et le mettre en fonction

Beaucoup des sections de cet article proviennent de ce fil. Il y a deux façons de se procurer des nouveaux thèmes ou de nouvelles icônes : Trouver un dépôt qui en propose et l'ajouter à ses dépôts. C'est la méthode la plus sûre car le système installera tout seul le thème et car vous aurez les mises...

Lire la suite


Extension 19 : User Themes

Permet de charger les thèmes d'interface directement depuis le répertoire de l'utilisateur (depuis ~/.themes) et ils sont alors accessibles dans Gnome Tweak Tools, sinon seuls les thèmes installés depuis un dépôt sont disponibles. Cette extension existe en plusieurs versions et vous devez absolument...

Lire la suite


Astuce14.png

Astuce 14 : Créer un fond d'écran dynamique

Remarque : l'application Wallch, disponible dans les dépôts Ubuntu, permet de faire le même genre de choses que cette astuce, avec une interface graphique et beaucoup d'autres possibilités. Cette astuce est la traduction d'une astuce trouvée sur le site Webupd8. "XML Animated Background...

Lire la suite


Astuce13a.png

Astuce 13 : Changer le format de la date et de l'heure du panneau principal

Les réglages de l'horloge sont assez sommaires : Même en passant par Gnome Tweak Tool : Il n'y a apparement aucun moyen de changer le format de la date. Cependant en modifiant un fichier système (donc une modification risquée que vous ne devez faire qu'en tout connaissance), c'est possible. Le...

Lire la suite


Astuce 12 : Masquer de façon permanente la barre de notification

Ouvrez le fichier .css de votre thème, en tant qu'administrateur si celui-ci est dans /usr/share/gnome-shell/theme, en tant qu'utilisateur normal si celui-ci est dans ~/.themes. Trouvez cette section : /* Message Tray */ #message-tray { background-gradient-direction: vertical;...

Lire la suite


Astuce11a.png

Astuce 11 : Obtenir un meilleur affichage des noms des applications dans le mode 'exposition'

L'affichage des noms des applications dans le mode 'exposition' ne peut se faire que sur une ligne et ne peut pas dépasser sur les icônes suivantes, aussi beaucoup d'applications ont leur nom tronqué : La première chose à faire est de régler la taille de la police sous les applications. Ouvrez le...

Lire la suite


Astuce10a.png

Astuce 10 : Changer la taille des icônes dans le mode 'exposition'

Ouvrez le fichier .css de votre thème, en tant qu'administrateur si celui-ci est dans /usr/share/gnome-shell/theme, en tant qu'utilisateur normal si celui-ci est dans ~/.themes. Trouvez cette section : /* Apps */ .icon-grid { spacing: 16px; -shell-grid-item-size: 118px; /* was 118px */ }...

Lire la suite