通过访问https://extensions.gnome.org/安装gnome-shell扩展后,如果需要卸载扩展,可以通过进入网站,选择自己安装的扩展后,点击卸载按钮来卸载.
但是自己在更新Ubuntu 12.04系统后,却发现有些扩展停止使用了,在高级设置中显示扩展不符合当前版本,同时访问网站后,也显示类似的信息.即也不能通过网站上的卸载功能来进行删除.最后只能手动删除这些扩展.
这些文件被安装在 /usr/share/gnome-shell/extensions目录中,用root权限删除目录中的文件后,还需要将
~/.local/share/gnome-shell目录下的文件删除.alt+f2后输入r重新启动gnome-shell后,你会发现扩展已经成功被删除.