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.
Respostas:
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.