Ubuntu-fr

NoName03

[RESOLU]impossibe d'installer paquet gnome-shell-extension-user-theme

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, à 16:57)

Robert Algoud

Re : [RESOLU]impossibe d'installer paquet gnome-shell-extension-user-theme

Salut

L'installation des extensions pour Gnome Shell se fait de préférence par là :

https://extensions.gnome.org/
https://extensions.gnome.org/extension/19/user-themes/

---

Ubuntu depuis Hardy Héron (08.04) - Xubuntu 22.04 LTS

NoName03

Re : [RESOLU]impossibe d'installer paquet gnome-shell-extension-user-theme

Ok merci c'est bon elle est installée, merci d'avoir répondu aussi vite