Ich verwende die Gnome-Shell 3.4.1 unter Ubuntu 12.04. Ich habe verschiedene Erweiterungen von http://extensions.gnome.org ausprobiert und möchte nun einige vollständig entfernen, insbesondere, weil sie in Gnome Tweak Tool keinen Platz beanspruchen.
Ist es sicher, nur den Erweiterungsordner unter zu löschen ~/.local/share/gnome-shell/extensions/?
Wie entferne ich eine Gnome-Shell-Erweiterung vollständig?
Antworten:
Auf der Gnome-Shell-Seite heißt es:
Es gibt einige Fehler
GNOME 3.2, die verhinderten, dass die Deinstallation für einige Erweiterungen ordnungsgemäß funktionierte. GNOME Shell 3.2.2.1 hat diese Probleme behoben. Stellen Sie sicher, dass Ihr System vollständig aktualisiert ist, wenn beim Deinstallieren von Erweiterungen Probleme auftreten.Wenn Sie GNOME Shell 3.2.2.1 nicht haben und es möglicherweise nicht bekommen können oder nicht sicher sind, können Sie die Erweiterung manuell deinstallieren. Entfernen Sie das Verzeichnis der Erweiterung, und starten Sie die Shell neu. Die Erweiterung sollte unter gespeichert werden
~/.local/share/gnome-shell/extensions. Das Entfernen des Verzeichnisses reicht nicht aus: Sie müssen die Shell neu starten, um sicherzustellen, dass die Erweiterung vollständig deinstalliert ist. Öffnen Sie den Ausführungsdialog mit Alt + F2 und geben Sie einrestart.
Sie werden also in Ordnung sein, wenn Sie die Erweiterung unter ~/.local/share/gnome-shell/extensionsmanuell entfernen .
3
Dies scheint darauf hinzudeuten, dass es in Versionen nach 3.2.2.1 einen bestimmten Deinstallationsprozess gibt (außer manuelles Löschen des Ordners und Neustarten), der jedoch nicht angegeben ist. Trotzdem danke.
—
MorganSBailey
Ich habe den Ordner einiger Erweiterungen entfernt, aber einige werden nach dem Neustart wieder angezeigt !!! (dh Anwendungsmenü, AlternateTab und etc.)
—
Rahmani
@ Rahmani wenn du das Problem noch hast: Schau dir an
—
Steffen Winkler
/usr/share/gnome-shell/extensions/. Anscheinend sind einige Erweiterungen systemweit installiert und zumindest in meinem Fall nicht von der Website entfernbar.
@SteffenWinkler danke, es funktioniert einwandfrei. Ich wusste nicht, dass es systemweit installiert ist
—
ismailsunni
OK, habe es gefunden. In https://extensions.gnome.org , navigate unter Installed extensions, wo es eine X - Taste befindet sich neben jeder Verlängerung dass Deinstallationen es. Wie in der vorherigen Antwort erwähnt, funktioniert das erst nach Version 3.2.2.1.
Dies funktioniert nicht immer ...
—
Wilf
Ich deinstalliere die Erweiterung von dieser Seite, aber einige von ihnen kommen nach dem Neustart wieder !!! (dh Anwendungsmenü, AlternateTab und etc.)
—
Rahmani
@Rahmani - Das sind beide Erweiterungen von fmuellner extensions.gnome.org/accounts/profile/fmuellner ... Ich habe seine Erweiterung für Benutzereinstellungen heruntergeladen und eine Reihe seiner anderen Erweiterungen hinzugefügt. Jetzt kann ich keine löschen.
—
guttermonk
Die Erweiterungen von 'fmuellner' scheinen in einem Verzeichnis "/ usr / share / gnome-shell / extensions /" und andere Erweiterungen in einem Verzeichnis "~ / .local / share / gnome-shell / extensions" gespeichert zu werden. Auch ich hatte dieses Problem schon einmal. Ich löste es, indem ich diese Verzeichnisse löschte und den Computer neu startete. Sie können sie weder im Dateibrowser noch im Explorer löschen. Zum Löschen sind also Superuser-Berechtigungen erforderlich. Verwenden Sie den folgenden Befehl im Terminal.
$ sudo rm -r /usr/share/gnome-shell/extensions/
$ sudo rm -r ~/.local/share/gnome-shell/extensions/
und dann Computer von der GUI neu zu starten, oder Sie können verwenden
$ sudo init 6
Achten Sie darauf, andere Verzeichnisse nicht versehentlich zu löschen. Das oben genannte Update hat bei mir funktioniert. Hoffentlich hilft das.
Ich habe die letzte Aktivität "vor 2 Monaten" gesehen, sonst würde ich nicht antworten.
Ich weiß nicht, wie schwer es vorher war, aber heutzutage können Sie einfach zum Ubuntu Software Center gehen, Abschnitt "Installiert"