Wiki du Gnu

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Astuces avec Linux Mint DE ======
J'utilise DE (Debian Edition) pour des raisons de philosophie de la distribution mais les astuces présentées ici doivent majoritairement être transposables pour l'édition basée sur Ubuntu.
===== Éditer les thèmes du bureau (ou rétro-ingénierie) =====
Je trouvait particulièrement beau le dégradé de gris de la barre des taches de cinnamon et je souhaitai l'utiliser pour un site internet. 

Il s’avère en fait que les thèmes du bureau sont défini par du css (comme une page internet). C'est beau non !

On peut donc trouver la configuration dans : usr/share/themes/votretheme/cinnamon/
Pour moi c'était : usr/share/themes/Linux Mint/cinnamon/cinnamon.css
et pour info le dégradé est défini par :

<code css>
#panel {
    color: #ffffff;
    background-gradient-start: rgba(70,70,70,0.9);
    background-gradient-end: rgba(50,50,50,0.9);
    background-gradient-direction: vertical;
    font-size: 9pt;
    font-weight: normal;
    height: 25px;
    box-shadow: 0px 0px 2px 2px rgba(0,0,0,0.5);
}
</code>

Wiki du Gnu

User Tools

Site Tools

Page Tools