Fil des billets
Fil des commentaires
Mot-clé - personnalisation
Application : Gnome Tweak Tool
24 juin 2012, 23:08
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...
Installer un nouveau thème et le mettre en fonction
24 juin 2012, 23:04
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...
Extension 19 : User Themes
24 juin 2012, 22:33
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...
Astuce 14 : Créer un fond d'écran dynamique
24 juin 2012, 18:09
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...
Astuce 13 : Changer le format de la date et de l'heure du panneau principal
24 juin 2012, 18:01
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...
Astuce 12 : Masquer de façon permanente la barre de notification
24 juin 2012, 17:50
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;...
Astuce 11 : Obtenir un meilleur affichage des noms des applications dans le mode 'exposition'
24 juin 2012, 17:41
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...
Astuce 10 : Changer la taille des icônes dans le mode 'exposition'
24 juin 2012, 17:27
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 */ }...
Derniers commentaires