Afin de pouvoir changer les thèmes GTK et d'icônes dans GNOME (Shell), vous devez installer une application appelée Tweaks (Il y a quelque temps, il s'appelait GNOME Tweak Tool). L'application devrait être disponible dans vos dépôts de distribution Linux, il vous suffit donc de la trouver et de l'installer.
Dans Debian (Sid ou plus récent) et Ubuntu (18.04 et plus récent), installez les réglages avec la commande suivante :
sudo apt install gnome-tweaks
Pour les anciennes versions de Debian et Ubuntu, installez l'outil GNOME Tweaks avec la commande suivante :
sudo apt install gnome-tweak-tool
Dans Fedora, vous pouvez installer GNOME Tweaks avec :
sudo dnf install gnome-tweaks
À ce stade, vous pouvez modifier le GTK et la conception des icônes à l'aide de l'application Tweaks dans l'onglet Apparence :
Afin de pouvoir modifier la conception du shell GNOME, vous avez besoin de l'extension du shell GNOME pour la conception utilisateur.
Pour l'installer dans Ubuntu ou Debian, utilisez la commande suivante :
sudo apt install gnome-shell-extensions
Sur Fedora, installez l'extension de thème utilisateur GNOME Shell avec :
sudo dnf install gnome-shell-extension-user-theme
Après l'installation, redémarrez le shell GNOME si vous utilisez Xorg en appuyant sur Ancien + F2, puis tapez R. et appuyez sur Entrée. Ou déconnectez-vous et reconnectez-vous pour redémarrer la session si vous utilisez Wayland.
Ensuite, ouvrez l'application Tweaks et activez l'extension de thème utilisateur :
Vous devriez maintenant pouvoir changer le thème du shell GNOME :