Gnome-shell

De drev
Aller à : navigation, rechercher

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/