Gnome shell extension
medbo
Messages postés
570
Statut
Membre
-
laoshu Messages postés 1251 Statut Membre -
laoshu Messages postés 1251 Statut Membre -
Bonjour,
je suis sous ubuntu 12.04, j'ai GNOME SHELL comme gestionnaire de fenêtres.
Tout allait très bien. Après une mise à jour de gnome-tweak-tool, je ne peut plus modifier les themes du shell et les extensions que j'avais je ne les ai plus, je ne peut donc plus activer l'extension user-themes.
qqn a t-il rencontré le même problème que moi ?
aidez mois SVP
--
c'est en s'entre-aidons que nous réussirons
je suis sous ubuntu 12.04, j'ai GNOME SHELL comme gestionnaire de fenêtres.
Tout allait très bien. Après une mise à jour de gnome-tweak-tool, je ne peut plus modifier les themes du shell et les extensions que j'avais je ne les ai plus, je ne peut donc plus activer l'extension user-themes.
qqn a t-il rencontré le même problème que moi ?
aidez mois SVP
--
c'est en s'entre-aidons que nous réussirons
1 réponse
-
Bonjour,
J'ai eu le même problème il y a quelques temps après une mise à jour (Debian Sid).
Je viens de réessayer gnome-tweak-tool, et j'ai une nouvelle configuration avec plus de possibilité qu'avant... je n'ai pas encore tout regardé de près, mais il y a du progrès.
Attends un peu, la mise à jour arrivera bientôt sur Ubuntu je pense.
