Ubuntu-fr

jeanclaudejeanclaude

Résolu : "Impossible de trouver gnome-shell-extensions-user-theme"

Bonsoir,

je suis novice sur ubuntu, et je viens d'inastaller gnome 3.12 sur ubuntu 14.04,
et j'ai lu que pour pouvoir modifier le thème, il fallait installer tweak tool, ce que j'ai fait, puis taper cette commande : 

sudo apt-get install gnome-shell-extension-user-theme

ce que j'ai fait, mais malheureusement, je recois ce message :

E: Impossible de trouver le paquet gnome-shell-extensions-user-theme

Du coup, je me demande si ça n'est pas à cause de cela que les tèmes que je veux installer ne se chargent pas.

Pourriez-vous me renseigner ?

Merci bien !

P.S: Désolé si la question a déjà été posée !

Dernière modification par jeanclaudejeanclaude (Le 23/10/2014, à 21:27)

Major Grubert

Re : Résolu : "Impossible de trouver gnome-shell-extensions-user-theme"

Tu dis avoir tapé

sudo apt-get install gnome-shell-extension-user-theme

et que le système te renvoie

E: Impossible de trouver le paquet gnome-shell-extensions-user-theme

Peut-être as-tu oublié un s ?

Mais je pense que le pb est ailleurs : le paquet que tu essayes d'installer n'existe pas. Dans Ubuntu, les extensions soutenues par Gnome (dont User theme) sont regroupées dans un paquet nommé gnome-shell-extensions.
Essaye de passer un :

sudo apt-get install gnome-shell-extensions

Et tu auras toutes les extensions d'un coup (y compris celles dont tu n'as pas usage) dont User theme.

Dernière modification par Major Grubert (Le 22/10/2014, à 07:36)

---

Pour en savoir plus sur Gnome Shell.
. HP Pavilion  : Windows / Ubuntu 19.10

jeanclaudejeanclaude

Re : Résolu : "Impossible de trouver gnome-shell-extensions-user-theme"

Bonsoir Major Grubert, en effet je me suis trompé dans la syntaxe !

Merci infiniment pour ton aide !

Major Grubert

Re : Résolu : "Impossible de trouver gnome-shell-extensions-user-theme"

Cool.
Édite ton premier message et met "résolu" dans le titre.

---

Pour en savoir plus sur Gnome Shell.
. HP Pavilion  : Windows / Ubuntu 19.10