Deshabilitar animaciones en gnome 3

Hace varias semanas que estoy usando el escritorio gnome 3, y estoy bastante contento. Es simple, se ve bonito y tiene un gran numero de usuarios y desarrolladores sobre él.

Pero hay algo que me molesta mucho: tengo cómo hábito usar algunos workspaces e ir alternando, y gnome 3 tiene una animación progresiva que se vuelve muy molesta con el tiempo.

Por suerte lzap ha desarrollado una extensión para deshabilitar las animaciones.

Si quieres instalar la extensión, ejecuta estos comandos:

mkdir -p ~/.local/share/gnome-shell/extensions
git clone https://github.com/lzap/disable-window-animations.git disable-window-animations@github.com

ahora, con el complemento instalado, las animaciones desaparecerán cuando reinicies el entorno pulsando CTRL+F2 y luego ingresando el comando r.