Speed up builtin gnome-shell animations. Setting speed factor permanently without extension Add environment variable e.g. to /etc/environment GNOME_SHELL_SLOWDOWN_FACTOR=0.4
