Page 1 sur 1

[gdm] Changer le theme Gnome-shell (résolu)

Publié : ven. 27 avr. 2012, 23:09
par gravitezero
Bonjour,

Je suis en train de changer les différents thèmes Gtk, Gnome-shell pour mon environnement.
J'essaye d'uniformiser GDM avec mon thème de bureau.

J'ai trouvé différentes procédures pour changer le fond et le thème Gtk pour GDM.
En revanche, impossible de changer le thème Gnome Shell qui semble être le composant principale de l'interface.

Pour changer les thèmes Gtk et le fond, j'ai utiliser ce protocole :

Code : Tout sélectionner

$ su -
# xhost +
# sudo -u gdm gnome-tweak-tool
# sudo -u gdm gnome-control-center
Mais je bute toujours pour le thème Gnome Shell.
Même en changeant le paramètre dans dconf-editor

Code : Tout sélectionner

org > gnome > shell > extension > user-theme
J'imagine qu'il manque l'extension permettant de changer de thème Shell pour gdm.

Une idée comment installer un thème shell pour GDM ?

Merci :)

Re: Changer le theme Gnome-shell pour GDM

Publié : sam. 28 avr. 2012, 08:23
par chipster
Merci de modifier le titre du sujet comme il l'a été demandé lors de l'édition :chinois:

Re: [gdm] Changer le theme Gnome-shell

Publié : mer. 02 mai 2012, 20:00
par gravitezero
J'ai finalement trouvé la piste qu'il me fallait :
Le thème de base appliqué est situé ici :

Code : Tout sélectionner

/usr/share/gnome-shell/theme
Cependant, le thème semble organisé différement, et plus en vrac.
Il m'as suffit de copier le fichier gnome-shell.css de mon thème, et de modifier un peu gdm.css.

Re: [gdm] Changer le theme Gnome-shell (résolu)

Publié : mar. 08 mai 2012, 14:13
par alaingre
Bonjour

Moi aussi j'ai un peu cherché mais pour ne pas changer le contenu du répertoire d'origine j'ai procédé autrement

Création d'un dossier caché dans mon home

mkdir ~/.themes

dans lequel je place les thèmes gnome shell récupérer sur deviant art ou gnome look

(il suffi de décompresser et de copier/coller dans ce dossier)

Enfin avec gnome-tweak-tools > onglet shell extension j'active user-theme-extension

Après (peut être qu'il faut se déconnecter ou relancer gnome shell) il devient possible de sélectionner un shelle theme dans l'onglet themes de gnome-tweak-tools

Re: [gdm] Changer le theme Gnome-shell (résolu)

Publié : sam. 12 mai 2012, 18:05
par gravitezero
@alaingre, dans mon cas, Gnome-tweak-tool ne me permettais pas d'activer les enxtensions.
Peut être qu'il faudrait que je place les extensions dans un dossier plus system-wide.
Apparement, gdm3setup permettrais de modifier le thème Shell, mais je ne l'ai pas testé.