Le configurateur d'activités ne fonctionne pas après la mise à niveau vers GNOME 3.18
J'ai récemment passé d'Ubuntu GNOME 15.04 à 15.10 et à GNOME 3.18, mais j'ai maintenant un problème. Je souhaite renommer le bouton Activities en Activities Overview et arrêter les activités. de lancer lorsque je souris sur le bouton d'une certaine manière.
Avant d’avoir GNOME 3.18, j’utilisais l’extension GNOME Shell décrite dans cette réponse pour configurer et personnaliser ce dont je viens de parler. Cependant, voici ce que j'ai remarqué aujourd'hui:
Alors, y a-t-il un moyen similaire de this pour résoudre le problème? Ou y a-t-il une autre solution?
Il serait possible de changer la version prise en charge comme décrit dans votre réponse liée, mais ce n'est pas nécessaire, car GNOME 3.18 est pris en charge. Habituellement, vous devriez voir un Update bouton dans l'outil Tweak. Je n'en ai aucune idée, pourquoi pas dans ce cas.
Mais vous pouvez également utiliser le lien this pour désactiver et activer/mettre à jour le Activities Configurator.
Ou à la dure
rm -r ~/.local/share/gnome-Shell/extensions/activities-config@nls1729/
et installez l'extension à nouveau. Pour ce faire, ouvrez le lien this dans votre Firefox et activez l'extension.
Fermez et ouvrez l'outil Tweak pour voir l'extension mise à jour.