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?