Pourquoi l'utilisateur Theme Extension n'apparaît-il pas dans Gnome Tweak Tool?
Je souhaite utiliser des thèmes d’utilisateur pour gnome Shell, mais j’ai des problèmes. J'ai installé l'extension de thème utilisateur, mais elle ne semble pas apparaître sous l'outil gnome Tweak. Pour confirmer que l'extension de thèmes d'utilisateurs est installée, voici le retour que je reçois lorsque je tente de l'installer à nouveau via le terminal:
Sudo apt-get install gnome-Shell-extensions-user-theme
Reading package lists... Done
Building dependency tree
Reading state information... Done
gnome-Shell-extensions-user-theme is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
Je vais sous Shell Extensions et il n'y a pas d'option pour activer les thèmes de l'utilisateur.
Commentaire converti en réponse
Après avoir installé l’extension du thème utilisateur, vous devez redémarrer gnome-Shell. C'est seulement à ce moment-là que l'extension apparaît dans l'outil Tweak de GNOME.
Pour ce faire, appuyez sur Alt + F2 et entrez r dans la boîte de dialogue. Maintenant, gnome-Shell redémarrera et l'extension apparaîtra dans l'outil Tweak.