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.com
und 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.
quelle
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
.Antworten:
Für mich wurden diese Pakete beim
Fedora 26
Ausführengnome 3.24
tatsächlich als Betriebssystempakete installiert.Wenn ich renne,
sudo dnf list installed | grep -i gnome
könnte ich sie normalerweise mit einem Namen wie sehengnome-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.
quelle