如何安装 GNOME Shell 扩展？
是否可以更新、删除和管理扩展？
gnome-shell-extension software-installation gnome-shell
我刚刚安装了 Ubuntu 18.04，我的第一个负面印象是打开应用程序菜单时飞入图标的长动画。
我可以加速或禁用它吗？
appmenu animations gnome-shell 18.04
gnome-shell ×2
18.04 ×1
animations ×1
appmenu ×1
gnome-shell-extension ×1
software-installation ×1