Archlinux.fr [Forums]

Bonjour,

j'aimerais bien installer un nouveau thème mais avant j'aimerais savoir si au cas où il ne me plaise pas, je peux revenir au thème Gnome3 par défaut.

Question subsidiaire :

j'ai vu dans certains post que des éléments de thèmes autre que le thème par défaut pouvaient disparaître au gré de mises à jour. Est-ce bien exact. Car dans ce cas ce n'est guère engageant ;-(

Ça dépend… tu parle de quels type de thème ? Les thèmes de GTK3, ou du Shell Gnome 3, ou des décorations de fenêtre ?

J’ai eu des gros problèmes avec des thèmes du Shell Gnome 3, et je suis revenu au thème par défaut. Quand je faisais une recherche dans l’écran des Activités, pour trouver un programme en tapant ses premières lettres, par ex., ça freezait totalement tout Gnome : obligé d’ouvrir une console par Ctrl-Alt-F2 et de killer ou redémarrer.

J’ai pu facilement revenir au thème par défaut en utilisant l’interface de Gnome Tweak Tools.

Pour ta question subsidaire : le problème est que Gnome-shell évolue assez vite et que les thèmes, eux, ne sont pas toujours maintenus. Et donc, oui, j’ai pu remarquer des trucs bizarres, en fonction des mises à jour de Gnome-shell. Je ne sais pas s’il y a des thèmes qui sont sérieux et maintenus au même rythme que Gnome 3.

En fait, j’en suis même venu à me demander si avoir des thèmes tiers était une bonne idée, dans le cadre d’une distro rolling-release, surtout pour Gnome-shell, qui me semble assez fragile. Mais c’est que mon avis, hein…

raymondcal a écrit :Ça dépend… tu parle de quels type de thème ? Les thèmes de GTK3, ou du Shell Gnome 3, ou des décorations de fenêtre ?

non il s'agit bien des thèmes, en l'occurence gnomish-theme

http://gnome-look.org/content/show.php/ ... ent=125443

raymondcal a écrit :
Pour ta question subsidaire : le problème est que Gnome-shell évolue assez vite et que les thèmes, eux, ne sont pas toujours maintenus. Et donc, oui, j’ai pu remarquer des trucs bizarres, en fonction des mises à jour de Gnome-shell. Je ne sais pas s’il y a des thèmes qui sont sérieux et maintenus au même rythme que Gnome 3.

En fait, j’en suis même venu à me demander si avoir des thèmes tiers était une bonne idée, dans le cadre d’une distro rolling-release, surtout pour Gnome-shell, qui me semble assez fragile. Mais c’est que mon avis, hein…

c'était bien ma crainte , mais bon si ça buggue au pire tu dis qu'on peut restorer le thème par défaut facilement donc au pire.. Le mieux serait que GNOME lui-même propose davantage de thème et surtout plus sympas.

En fait, d’après ce que j’ai compris, le projet officiel de Gnome est CONTRE les thèmes. C’est exprès qu’ils ont rien mis dans les Paramètres système pour en changer. On peut seulement changer le fond d’écran. Ils veulent un bureau immédiatement prêt pour le travail, sans possibilité de fioritures.