侏儒扩展名被删除后仍留在列表中

gnome shell扩展有一个小问题。在安装了其中一些组件之后，我了解到我不喜欢它们，因此决定将其删除。扩展本身（位于中的文件夹/home/username/.local/share/gnome-shell/extensions）已成功删除。但是，已删除的扩展名并未从extensions.gnome.org的已安装扩展名列表中删除。它们也未从gnome-tweak-tool的列表中删除。

因此，在我的列表中，我有一堆已经删除的扩展名。有趣的是，我也无法重新安装它们，因为gnome-tweak-tool和网站都认为它们仍然存在。这当然没什么大不了的，但是我觉得有点烦。

重新安装gnome-tweak-tool并没有帮助。

有没有办法以某种方式更新已安装扩展的状态？

如何完全删除一个或所有Gnome-shell扩展

打开终端：（从应用程序菜单或按Ctrl + Alt + T）

然后输入：sudo su-并输入密码，然后按Enter

然后键入以下命令：

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

然后键入以下命令以查看所有已安装的扩展名：ls

然后键入以下命令以删除您真正要完全删除的每个扩展名：

rm -r name-of-extention

例如：rm -r dash-to-dock@yyy.gmail.com/

然后按：Alt + F2，然后输入“ r”，是简单的一个

好的，做完了。

您可以检查extensions.gnome.org来确定这一点。

转到extensions.gnome.org上已安装的扩展，然后单击扩展右侧圆圈中的X符号以将其卸载。ON / OFF开关仅将其禁用。