Ich bin auf Debian Wheezy Stable mit Gnome 3.4 und habe mehrere Standarderweiterungen, die auf der Seite "Installierte Erweiterungen" unter https://extensions.gnome.org/local/ (mit dem Gnome Shell Integration Plugin von Iceweasel) nicht verfügbar sind entfernt werden wie die, die ich selbst von extensions.gnome.org hinzugefügt habe.
Dazu gehören (für mich jedenfalls - und dies ist möglicherweise nicht die vollständige Liste, da ich wahrscheinlich eine oder zwei davon aktiviert habe und daher keine schnelle Möglichkeit, alle zu kennen):
Alternatives Statusmenü
Anwendungsmenü Automatisches
Verschieben Windows
Dock
Gajim IM-Integration
Orte Statusanzeige
SystemMonitor-
Benutzerthemen
windowNavigator
Arbeitsbereichsanzeige
Wenn ich den HTML-Code der Seite "Installierte Erweiterungen" überprüfe, sehe ich keine Möglichkeit, ihn über das Firefox-Entwicklertool zu hacken (zumindest mit meinen begrenzten HTML-Kenntnissen und nur auf einen kurzen Blick), um diese Erweiterungen über diese Seite irgendwie deinstallierbar zu machen.
Ist es so einfach, den Ordner zu löschen (z. B. für den ersten) /usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gcampax.github.comund dann Gnome Shell neu zu starten, und er wird aus der Liste entfernt?
Ich möchte es richtig machen, ohne später Probleme einzuführen.
gnome-shell-extensions. Wenn Sie gnome-classic nicht verwenden, können Sie das Paket entfernen. Andernfalls müssen Sie die Erweiterungsverzeichnisse wie gesagt entfernen, sie werden jedoch jedes Mal neu installiert, wenn Sie Ihr System aktualisieren. Die webbasierte Installation kann diese Erweiterungen nicht entfernen, da sie auf die in Ihrer installierten Erweiterungen beschränkt sind~home.