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