7个实用Gnome Shell扩展

介绍 7 个比较实用的 Gnome Shell 扩展。

1.音乐整合：https://extensions.gnome.org/extension/30/

2.删除顶部面板上的辅助菜单：http://extensions.gnome.org/extension/43/

3.自动隐藏顶部面板：http://extensions.gnome.org/extension/42/auto-hide-top-panel/

4.二进制时钟：https://extensions.gnome.org/extension/46/

5.Zeitgeist powered jumplists：https://extensions.gnome.org/extension/33/

6.数字键及大小写键状态：https://extensions.gnome.org/extension/36/

7.垃圾筒：https://extensions.gnome.org/extension/48/

注：以上图片上传到红联Linux系统教程频道中。