再次安装
gnome-shell-extensions
sudo add-apt-repository ppa:gnome-shell-extensions/ppa
sudo apt-get update
sudo apt-get install gnome-shell-extensions
火狐插件里面添加
gnome
再次安装
gnome-shell-extensions
sudo add-apt-repository ppa:gnome-shell-extensions/ppa
sudo apt-get update
sudo apt-get install gnome-shell-extensions
火狐插件里面添加
gnome