有很多用户用了 Gnome 3,可惜还是不知什么是 Gnome Shell Extensions(其实就是 Gnome 上运行的 Java Script 小工具程序, 也就是插件)http://jasonmun.blogspot.my/2017/05/gnome-shell-extension-gnome-shell.html
评论
分享到微信
打开微信,点击顶部的“╋”, 使用“扫一扫”将网页分享至微信。