Gnome-Erweiterungen bleiben nach dem Entfernen in der Liste


8

Ich habe ein kleines Problem mit Gnome-Shell-Erweiterungen. Nachdem ich einige von ihnen installiert hatte, verstand ich, dass ich sie nicht mochte und beschloss, sie zu entfernen. Die Erweiterungen selbst (ihre Ordner in /home/username/.local/share/gnome-shell/extensions) wurden erfolgreich gelöscht. Die gelöschten Erweiterungen wurden jedoch nicht aus der Liste der installierten Erweiterungen unter extensions.gnome.org entfernt . Sie wurden auch nicht aus der Liste in Gnome-Tweak-Tool entfernt.

Jetzt habe ich in meiner Liste eine Reihe von Erweiterungen, die ich bereits gelöscht habe. Das Lustige ist, dass ich sie auch nicht neu installieren kann, da sowohl das Gnome-Tweak-Tool als auch die Website glauben, dass sie noch da sind. Das ist natürlich keine große Sache, aber ich finde es etwas nervig.

Die Neuinstallation des Gnome-Tweak-Tools hat nicht geholfen.

Gibt es eine Möglichkeit, den Status der installierten Erweiterungen irgendwie zu aktualisieren?


Haben Sie sich abgemeldet und sich dann erneut angemeldet?
Alistair Buxton

@Alistair, ja natürlich, multiplizieren Sie mal =)
SingerOfTheFall

1
Haben Sie zufällig das Paket gnome-shell-extensions installiert? Die beiden Stellen, an denen Erweiterungen platziert werden können, sind
meines Wissens

Antworten:


2

So entfernen Sie eine oder alle Gnome-Shell-Erweiterung (en) vollständig

Terminal öffnen: (über das App-Menü oder durch Drücken von Strg + Alt + T)

Geben Sie dann Folgendes ein: sudo su - und geben Sie Ihr Passwort ein und drücken Sie die Eingabetaste

Geben Sie hier die Bildbeschreibung ein

Geben Sie dann diesen Befehl ein:

cd /home/"your user account"/.local/share/gnome-shell/extensions/

Geben Sie hier die Bildbeschreibung ein

Geben Sie dann diesen Befehl ein, um alle installierten Erweiterungen anzuzeigen: ls

Geben Sie hier die Bildbeschreibung ein

Geben Sie dann diesen Befehl ein, um alle oder Erweiterungen zu entfernen, die Sie wirklich vollständig entfernen möchten:

rm -r name-of-extention

Zum Beispiel: rm -r dash-to-dock@yyy.gmail.com/

Geben Sie hier die Bildbeschreibung ein

und drücken Sie: Alt + F2 und geben Sie dann "r" ein. Ja, einfach nur ein r

Ok, es ist geschafft.

Sie können extensions.gnome.org überprüfen, um dies sicher zu sein.


0

Gehen Sie zu installierten Erweiterungen auf extensions.gnome.org und klicken Sie auf das X-Symbol im Kreis rechts neben der Erweiterung, um sie zu deinstallieren. Der EIN / AUS-Schalter deaktiviert ihn nur.

Geben Sie hier die Bildbeschreibung ein


2
Das ist das erste, was ich versucht habe. Der Knopf macht nichts.
SingerOfTheFall
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.