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 l'extension à partir de l'onglet "Shell
Extensions" dans les "Paramètres avancés/GNOME Application Tweak Tool.
J'ouvre GNOME Tweak Tool et navigue jusqu'à l'onglet Shell Extensions mais j'obtiens ce qui suit :
Qu'est-ce que je fais mal? Je ne vois pas les options nécessaires pour activer les thèmes d'extension de shell.
Réponse acceptée :
Ê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.