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 beaucoup de fenêtres ouvertes.
Y a-t-il AUCUNE façon de le faire, car la recherche sur Internet ne me conduit qu'à "Désactiver l'extension des animations de fenêtre" qui, bien sûr, n'affecte que les animations de fenêtre mais pas l'animation de la vue d'ensemble.
Réponses:
Dans Gnome 3.8, faites simplement cette commande pour désactiver toutes les animations:
gsettings set org.gnome.desktop.interface enable-animations false
Pour annuler:
gsettings set org.gnome.desktop.interface enable-animations true
La réponse acceptée ne désactive pas les animations, mais réduit uniquement le temps d'animation à presque zéro. Cela signifie que l'animation sera toujours rendue - vous n'êtes tout simplement pas en mesure de 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. Toutefois, il existe une solution de contournement pour ce problème .
Pour faire court, 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
Avance rapide de 2012 à 2018, depuis quelques années, Gnome Tweaks expose le paramètre pour 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
Modifiez le fichier suivant à l'aide des 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.
Remarque: les futures mises à jour de Gnome peuvent remplacer vos modifications.
EDIT : Regardez également 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
Check-out:
System -> Preferences -> Appearance
Choisissez ensuite l'onglet Effets visuels.
Modifiez le bouton radio sur «Aucun» et fermez.