Impossible d'activer les extensions Shell pour les thèmes personnalisés
J'ai suivi les étapes affichées ici avec l'intention d'installer un thème personnalisé téléchargé à partir du site précédent.
Quand j'arrive à l'étape:
Vous devez maintenant vous déconnecter et vous reconnecter pour que l’extension soit ‘récupérée’ par le système, puis activez-la à partir de l’onglet ‘Extensions du shell’ de l’application ‘Paramètres avancés/GNOME Tweak Tool’.
J'ouvre GNOME Tweak Tool et navigue vers l'onglet Extensions de shell mais j'obtiens les éléments suivants:
Qu'est-ce que je fais mal? Je ne vois pas les options nécessaires pour activer les thèmes d'extension Shell.
Êtes-vous connecté à GNOME Shell? Aussi, avez-vous installé une extension?
Autant que je sache, les extensions ne s'affichent que lorsque vous êtes connecté à GNOME Shell. Dans Unity, par exemple, l'onglet Extensions est vide.
Essayez de recommencer, supprimez tout ce que vous avez installé. Maintenant, fais ça
Sudo add-apt-repository ppa:webupd8team/gnome3
Sudo apt-get update
Ensuite
Sudo apt-get install gnome-Shell-extensions-user-theme gnome-Tweak-tool
http://www.webupd8.org/2011/10/official-gnome-Shell-extensions.html
J'avais le même problème (l'onglet d'extension Shell était vide après l'installation de nombreuses extensions de gnome Shell, du repli de session gnome, de la session gnome classic et de l'outil gnome Tweak).
Après cela, j’avais trois types de sessions de gnome à choisir: Gnome, Gnome classique et Gnome classique (aucun effet).
Le problème dans mon cas était le type de session que j'avais laissé choisi. Je me connectais à Ubuntu dans une session "Gnome classic" au lieu de me connecter à une session "Gnome".
Je pense que c'est ce que Alin Andrei voulait dire par sa réponse.
En vous connectant avec la session "Gnome", mon bureau ressemble à l'image du lien ci-dessous.
J'espère que ça vous aide.
Elias