Answers:
使用root访问权限编辑以下文件:
sudo gedit /usr/share/gnome-shell/js/ui/overview.js
在第30行附近将animation_time更改为0.001
const ANIMATION_TIME = 0.001;
这应该做您想要的。此外,在ui目录的其他文件中,您可以更改许多其他参数来加快Gnome Shell的速度。
按Alt + F2并输入“ r”或“重新启动”以使更改生效。
请注意,将来对Gnome的更新可能会覆盖您的更改。
编辑:还看一下Torben的较新答案,该答案完全禁用了动画:
gsettings set org.gnome.settings-daemon.plugins.remote-display active false
gsettings set org.gnome.desktop.interface enable-animations false