Wie entferne ich die vorinstallierten Standarderweiterungen von Gnome?

7

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.

Hornhu
quelle
1
Diese sind Teil eines Pakets namens 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.
don_crissti

Antworten:

3

Für mich wurden diese Pakete beim Fedora 26Ausführen gnome 3.24tatsächlich als Betriebssystempakete installiert.

Wenn ich renne, sudo dnf list installed | grep -i gnomekönnte ich sie normalerweise mit einem Namen wie sehen gnome-shell-extension-foo.

Ich könnte sie entfernen, indem ich dieses Paket deinstalliere und die Seite mit den installierten Erweiterungen nicht direkt verwende. Ich habe meine Browsersitzung neu gestartet und diese Erweiterungen sind aus der Liste verschwunden.

Sysadmiral
quelle