通過訪問https://extensions.gnome.org/安裝gnome-shell擴展後,如果需要卸載擴展,可以通過進入網站,選擇自己安裝的擴展後,點擊卸載按鈕來卸載.
但是自己在更新Ubuntu 12.04系統後,卻發現有些擴展停止使用了,在高級設置中顯示擴展不符合當前版本,同時訪問網站後,也顯示類似的信息.即也不能通過網站上的卸載功能來進行刪除.最後只能手動刪除這些擴展.
這些文件被安裝在 /usr/share/gnome-shell/extensions目錄中,用root權限刪除目錄中的文件後,還需要將
~/.local/share/gnome-shell目錄下的文件刪除.alt+f2後輸入r重新啟動gnome-shell後,你會發現擴展已經成功被刪除.