Como desativo as animações de atividades do Gnome Shell?

Gostaria de desativar o efeito de animação (janelas com zoom de volta) quando a visão geral das atividades é ativada porque fica realmente lenta e atrasada com muitas janelas abertas.

Existe alguma maneira de fazer isso, pois a pesquisa na Internet só me leva à "Desativar extensão de animações de janelas", que obviamente afeta apenas as animações de janelas, mas não a animação da visão geral.

No Gnome 3.8, basta executar este comando para desativar todas as animações:

gsettings set org.gnome.desktop.interface enable-animations false

Para reverter:

gsettings set org.gnome.desktop.interface enable-animations true

A resposta aceita não desativa as animações, mas reduz o tempo da animação para quase zero. Isso significa que a animação ainda será renderizada - você não poderá reconhecê-las.

A resposta de Maxwell realmente desativa as animações, mas no meu sistema (Ubuntu 14.04) as animações são ativadas novamente após uma reinicialização. No entanto, há uma solução alternativa para esse problema .

Para encurtar a história, você pode desativar as animações com estes dois comandos:

gsettings set org.gnome.settings-daemon.plugins.remote-display active false
gsettings set org.gnome.desktop.interface enable-animations false

Avançando rapidamente de 2012 para 2018, há alguns anos, o Gnome Tweaks expõe a configuração para desativar todas as animações no Gnome Shell: Desative "Animações" na guia "Aparência".

O método de linha de comando fornecido por Maxwel Leite ainda é válido:

gsettings set org.gnome.desktop.interface enable-animations false

Para redefinir para o padrão:

gsettings reset org.gnome.desktop.interface enable-animations

Edite o seguinte arquivo usando direitos de acesso root:

sudo gedit /usr/share/gnome-shell/js/ui/overview.js

Altere o animation_time para 0.001, na linha 30

const ANIMATION_TIME = 0.001;

Isso deve fazer o que você pediu. Além disso, existem muitos outros parâmetros que você pode alterar para acelerar o Gnome Shell nos outros arquivos do diretório da interface do usuário.

Pressione Alt + F2 e digite "r" ou "reiniciar" para que as alterações entrem em vigor.

Observe que futuras atualizações do Gnome podem substituir suas alterações.

EDIT : Veja também a resposta mais recente de Torben que desativa completamente as animações:

gsettings set org.gnome.settings-daemon.plugins.remote-display active false
gsettings set org.gnome.desktop.interface enable-animations false

Verificação de saída:

System -> Preferences -> Appearance

Em seguida, escolha a guia Efeitos visuais.

Mude o botão de opção para 'Nenhum' e feche.