我有 Ubuntu 17.10，带有 GNOME Shell，并且已经安装了这扩展。现在我无法关闭或卸载它。
我曾尝试从 extensions.gnome.org 网站卸载它（已安装的扩展 -> 单击红叉），该扩展仍然存在。
我已尝试删除$HOME/.local/share/gnome-shell/extensions/windowList并重新启动（使用 Alt+F2 打开运行对话框，然后输入 restart），扩展仍然存在。
我怎样才能将其删除？
无法卸载扩展 gnome shell 扩展