最新文章：Virson's Blog
插件下载地址：https://extensions.gnome.org/
将下载下来的插件包解压到桌面，然后将包含插件文件(一般包含*.js、*.json、*.css等文件)的文件夹拷贝到~/.local/share/gnome-shell/extensions(针对当前用户)或者/usr/share/gnome-shell/extensions/(所有用户)，然后打开gnome-tweak-tool(若未安装可以使用sudo apt-get install gnome-tweak-tool命令安装)--->shell扩展--->打开右侧相应的插件即可