Tag: gnome shell

从17.04升级到17.10之后，GNOME在顶部和底部都有灰色条，我如何修复它应该看起来如何？

这是我的桌面在更新后看起来的样子，顶部栏变为灰色，并且在更新后添加了底栏。 从我搜索的截图来看，这似乎并不是它应该如何。 有没有办法解决它？

如何安装和管理GNOME Shell扩展？

如何安装GNOME Shell扩展？ 是否可以更新，删除和管理扩展程序？