Ubuntu-fr

Bonjour,

J'ai installé hier soir gnome 3.10 et je désire changer les thèmes utilisés. J'ai donc voulu suivre les instructions décrites à la page suivante:
How to theme Gnome 3

Mais le problème c'est lorsque j'essaie d'installer gnome-shell-extension-user-theme, j'obtient le message suivant:

rsudo apt-get install gnome-shell-extension-user-theme
Lecture des listes de paquets... Fait
Construction de l'arbre des dépendances       
Lecture des informations d'état... Fait
E: Impossible de trouver le paquet gnome-shell-extension-user-them

J'ai essayé de trouver une réponse dans le message suivant du forum mais je n'est pas compris les manipulations utilisées et il me semble que le problème est légèrement différent:
http://forum.ubuntu-fr.org/viewtopic.php?id=1027241

Si vous avez des suggestions...

Merci!

Dernière modification par NoName03 (Le 24/12/2013, à 15:57)