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?
quelle
Antworten:
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 dann diesen Befehl ein:
Geben Sie dann diesen Befehl ein, um alle installierten Erweiterungen anzuzeigen: ls
Geben Sie dann diesen Befehl ein, um alle oder Erweiterungen zu entfernen, die Sie wirklich vollständig entfernen möchten:
Zum Beispiel: rm -r [email protected]/
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.
quelle
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.
quelle