zamasp wrote:Là, je ne comprends pas du tout comment installer le thème ! Je ne vois aucun bouton d'installation dans l'interface graphique de gnome-tweak-tool !
Es-tu sûr d'avoir bien installé le paquet gnome-shell-extension-user-theme
ET d'avoir activé dans gnome-tweak-tool l'extension User Themes
AVANT d'essayer d'installer un quelconque thème ??
Que renvoient ces commandes ?
rpm -q gnome-shell-extension-user-theme
$ gsettings get org.gnome.shell enabled-extensions
zamasp wrote:Si seulement on pouvait faire la même chose en ligne de commande !
C'est tout à fait possible. Une partie des instructions pour le faire est déjà dans la documentation et je viens de te donner un piste pour celle qui n'y est pas. Mais il n'y a aucun intérêt à passer par une ligne de commande dans ce cas précis.
Edit: Même pas gagner du temps puisqu'il faut savoir l'interpréter quand il y a des erreurs... comme dans le cas de celle figurant dans la documentation par exemple que je viens de découvrir :-D
