我有一个 gnome shell 扩展的小问题。在安装了其中一些之后，我明白我不喜欢它们并决定删除它们。扩展本身（它们在 中的文件夹/home/username/.local/share/gnome-shell/extensions）已成功删除。然而，被删除的扩展是不是从已安装扩展的列表中删除extensions.gnome.org。它们也没有从 gnome-tweak-tool 的列表中删除。
所以现在在我的列表中，我有一堆已经删除的扩展。有趣的是我也无法重新安装它们，因为 gnome-tweak-tool 和网站都认为它们仍然存在。这当然不是什么大问题，但我觉得它有点烦人。
重新安装 gnome-tweak-tool 没有帮助。
有没有办法以某种方式更新已安装扩展的状态？