Comment activer l'extension du thème de l'utilisateur Shell dans la dernière version d'Ubuntu 17.10?
Dans la dernière version d'Ubuntu, qui est Ubuntu 17.10 avec l'environnement de bureau par défaut de GNOME, Ubuntu a désactivé l'extension de thème d'utilisateur dans l'outil gnome Tweak. Pour cette raison, je ne peux pas changer le thème de GNOME. Comment activer/installer l'extension de thème utilisateur?
J'ai fait une nouvelle installation de 17.10, et l'extension Shell de Thèmes de l'utilisateur n'était pas installée par défaut.
Vous pouvez installer cette extension en la téléchargeant à partir de ici sur le site GNOME Shell Extensions .
Après avoir installé l'extension User Themes à partir du site Web, activez-la via l'outil Tweak (si ce n'est déjà fait) et fermez/rouvrez-le. Ensuite, l'option permettant de changer le thème du shell devrait être disponible sur la première page.
Sur mon système, je ne pouvais pas installer d’extensions Shell à partir du site Web, car le connecteur d’intégration Shell de GNOME n’était pas installé. Vous pouvez l'installer en l'exécutant sur un terminal:
Sudo apt install chrome-gnome-Shell
Si vous devez installer le connecteur, actualisez la page d'extension dans votre navigateur avant de tenter d'installer l'extension.
J'ai eu la même question.
Pour l’essentiel, j’ai tapé Tweak lors de la recherche et il m’a amené au centre logiciel Ubuntu pour le réinstaller.
Voila.