Gnome-shell
De drev
Sommaire
Apparence
editer le fichier
/usr/share/gnome-shell/theme/gnome-shell.css
Déactiver les animations
gsettings set org.gnome.desktop.interface enable-animations false
recharger la configuration
Ne fonctionne pas sous wayland
alt-F2 r
Developpement d'extension
Documentation
https://git.gnome.org/browse/gnome-shell/tree/js/ui
Emplacement des extensions local
~/.local/share/gnome-shell/extensions/