Dans gnome-tweak-tool ça se fait très simplement, tu as un bouton pour sélectionner le zip du thème, et une liste pour choisir parmi les thèmes installés (après ça dépend peut-être de la version de Gnome3, ça n'a pas toujours été possible, mais ça fait un petit moment tout de même que ça l'est).
…le plus dur (c'est comme pour E17) c'est de trouver un thème à jour parce que le développement du shell casse encore trop souvent des choses.
ce commentaire est sous licence cc by 4 et précédentes
[^] # Re: Typo.
Posté par Thomas Debesse (site web personnel, Mastodon) . En réponse au journal Comment Freedesktop divise le desktop.. Évalué à 2.
Dans gnome-tweak-tool ça se fait très simplement, tu as un bouton pour sélectionner le zip du thème, et une liste pour choisir parmi les thèmes installés (après ça dépend peut-être de la version de Gnome3, ça n'a pas toujours été possible, mais ça fait un petit moment tout de même que ça l'est).
…le plus dur (c'est comme pour E17) c'est de trouver un thème à jour parce que le développement du shell casse encore trop souvent des choses.
ce commentaire est sous licence cc by 4 et précédentes