J'aimerais désactiver l'effet d'animation (zoom arrière de Windows) lorsque la vue d'ensemble des activités est activée, car elle devient vraiment lente et lente avec de nombreuses fenêtres ouvertes.
Existe-t-il un quelconque moyen de le faire, car la recherche sur Internet ne m’amène qu’à l’extension "Désactiver les animations de fenêtre", qui ne concerne évidemment que les animations de fenêtre, mais pas l’animation de la vue d’ensemble.
Dans Gnome 3.8, utilisez cette commande pour désactiver toutes les animations:
gsettings set org.gnome.desktop.interface enable-animations false
Pour revenir en arrière:
gsettings set org.gnome.desktop.interface enable-animations true
La réponse acceptée ne désactive pas les animations, mais réduit simplement le temps d'animation à presque zéro. Cela signifie que l'animation sera toujours rendue - vous ne pouvez tout simplement pas les reconnaître.
La réponse de Maxwell désactive vraiment les animations, mais sur mon système (Ubuntu 14.04), les animations sont réactivées après un redémarrage. Cependant, il existe solution de contournement pour ce problème .
En bref, vous pouvez désactiver les animations avec ces deux commandes:
gsettings set org.gnome.settings-daemon.plugins.remote-display active false
gsettings set org.gnome.desktop.interface enable-animations false
Editez le fichier suivant en utilisant les droits d'accès root:
Sudo gedit /usr/share/gnome-Shell/js/ui/overview.js
Remplacez animation_time par 0.001, autour de la ligne 30.
const ANIMATION_TIME = 0.001;
Cela devrait faire ce que vous avez demandé. En outre, il existe de nombreux autres paramètres que vous pouvez modifier pour accélérer Gnome Shell dans les autres fichiers du répertoire ui.
Appuyez sur Alt + F2 et tapez "r" ou "redémarrer" pour que les modifications prennent effet.
Notez que les futures mises à jour de Gnome risquent d’écraser vos modifications.
EDIT: Regardez aussi la nouvelle réponse de Torben qui désactive complètement les animations:
gsettings set org.gnome.settings-daemon.plugins.remote-display active false
gsettings set org.gnome.desktop.interface enable-animations false
Avance rapide de 2012 à 2018, depuis quelques années, Gnome Tweaks expose le paramètre permettant de désactiver toutes les animations dans Gnome Shell: Désactivez "Animations" dans l'onglet "Apparence".
La méthode de ligne de commande fournie par Maxwel Leite est toujours valide:
gsettings set org.gnome.desktop.interface enable-animations false
Pour rétablir les paramètres par défaut:
gsettings reset org.gnome.desktop.interface enable-animations