Gnome shell extension
medbo
Messages postés
551
Date d'inscription
Statut
Membre
Dernière intervention
-
laoshu Messages postés 1231 Date d'inscription Statut Membre Dernière intervention -
laoshu Messages postés 1231 Date d'inscription Statut Membre Dernière intervention -
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
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
A voir également:
- L'extension shell du thème personnalisé n'est pas activée
- Classic shell - Télécharger - Personnalisation
- Changer extension fichier - Guide
- Comment faire un tri personnalisé sur excel - Guide
- Story personnalisé facebook c'est quoi - Guide
- Extension .bin - Guide
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.
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.