Als «gnome-shell» getaggte Fragen

Die GNOME-Shell ist die Standardbenutzeroberfläche für den GNOME 3-Desktop.

70
Gnome Shell Integration in Chrome funktioniert nicht

Gerade auf Ubuntu 14.04 aktualisiert, was anscheinend auch eine vollständige Neuinstallation von Chromium zur Folge hat (da alle meine Plugins entfernt wurden). Versuchen Sie nun, https://extensions.gnome.org/Gnome Shell-Erweiterungen zu aktivieren, aber die Meldung: Wir können keine laufende Kopie...

16
Wie sollen Gnome-Shell-Erweiterungen verwaltet werden?

Ich habe Probleme, die beabsichtigte Methode zum Verwalten von Gnome-Shell-Erweiterungen zu verstehen. Ich kann dazu im Dash keine passenden Programme finden. Ich kann Erweiterungen nur über extensions.gnome.org verwalten . Es ist unmöglich, dass diese Seite das Tool zum Verwalten von Erweiterungen...

14
Gnome Shell Extension kann nicht deinstalliert werden

Gnome Shell 3.18.5 hat mich über einige Erweiterungen informiert, die aktualisiert werden müssen. Ich habe https://extensions.gnome.org/local/ von Firefox aus besucht, die Firefox-Erweiterung aktualisiert und möchte nun einige der Gnome-Erweiterungen deinstallieren, beispielsweise die folgende....