Отредактируйте следующий файл, используя права доступа root:
sudo gedit /usr/share/gnome-shell/js/ui/overview.js
Измените animation_time на 0,001, около строки 30
const ANIMATION_TIME = 0.001;
Это должно сделать то, что вы просили. Кроме того, есть много других параметров, которые вы можете изменить, чтобы ускорить работу Gnome Shell в других файлах каталога пользовательского интерфейса.
Нажмите Alt + F2 и введите «r» или «перезагрузка», чтобы изменения вступили в силу.
Обратите внимание, что будущие обновления Gnome могут перезаписать ваши изменения.
РЕДАКТИРОВАТЬ : Посмотрите также на новый ответ Торбена, который полностью отключает анимацию:
gsettings set org.gnome.settings-daemon.plugins.remote-display active false
gsettings set org.gnome.desktop.interface enable-animations false