Comment modifier des thèmes existants dans 12.04?

11

Existe-t-il un moyen de modifier le thème fourni avec Ubuntu 12.04? C'était possible avec Ubuntu 10.x.

Je me demande pourquoi ils ont supprimé la personnalisation de base. Y a-t-il des améliorations dans ce domaine pour 12.04?

John
la source

Réponses:

5

La façon la plus simple que je connaisse est d'installer gnome-tweak-tool pour tous les ajustements tels que les curseurs, les polices et les packs d'icônes. Cela vous permet d'ajuster ces options à la volée et fonctionne avec Unity et Gnome Shell (bien que certaines fonctionnalités, telles que Shell Extensions, s'attendent à ce que Gnome Shell soit installé).

agc93
la source
1
Je ne comprends pas pourquoi cette réponse a été rejetée. C'est une réponse parfaitement valable à cette question. Surtout après l'OP a fourni des informations supplémentaires. +1
Jo-Erlend Schinstad
7

Allez simplement sur /usr/share/themeset vous trouverez les fichiers de thème.

Par exemple, si vous souhaitez modifier le thème Ambiance, accédez au dossier du thème Ambiance et vous trouverez tous les fichiers CSS et paramètres, c'est vraiment très basique, il se compose de styles CSS et de codes de couleur avec quelques images.

Srinivas Gowda
la source
2
J'ai fait beaucoup de cela (éditant le CSS à la main) en 11.10 parce que l'interface pratique disponible en 11.04 a disparu en 11.10 et n'a pas réapparu en 12.04. Gnome Tweak Tool et l'interface fournie par Cog Wheel, Paramètres système, Apparence permettent de choisir des thèmes mais pas de les modifier légèrement. Pour cela, éditer les fichiers css à la main est un must si l'on veut juste les choses .
1
Par exemple, sudo cp -a /usr/share/themes/Ambiance /usr/share/themes/Ambiance-bluesudo sed -i 's/#f07746/#3999e7/g' `find /usr/share/themes/Ambiance-blue -type f | fgrep -v .png | xargs fgrep -l '#f07746'`
voici
concernant mon commentaire précédent: un thème "dérivé", comme celui pour Ambiance-bluelequel j'ai donné des instructions, doit être tenu à jour. Par exemple, vous pouvez vérifier de temps en temps si les différences entre le thème d'origine et le thème dérivé sont limitées aux changements que vous attendez. Si ce n'est pas le cas, il est préférable de reconstruire le répertoire du thème dérivé à partir de zéro. BTW, le Ambiance-bluethème ci-dessus est en fait un joli thème orange et bleu, où le bleu est utilisé pour la mise en évidence, les barres de progression, etc., etc., et complète bien l'orange.
Walter Tross
3

Oui, la personnalisation des thèmes est radicalement améliorée dans Ubuntu 12.04.

Les thèmes GTK3, qui sont utilisés par la plupart des applications dans Ubuntu 12.04, utilisent le même langage que celui utilisé pour styliser les pages Web. Vous pouvez lire sur CSS sur Wikipedia . Cela signifie qu'il est devenu beaucoup plus facile d'apprendre à le faire car il existe des milliers de tutoriels et de livres sur le sujet. Le style GTK2 n'est pas aussi convivial.

Ubuntu 10.x a utilisé une plateforme différente de celle d'Ubuntu 11.10 et 12.04. Il ne s'agit donc pas d'avoir supprimé des choses. C'est surtout une question de tout n'est pas encore mis en œuvre. Ce n'est pas le même logiciel, vous ne pouvez donc pas utiliser les mêmes programmes pour les personnaliser.

Pourtant, il existe de nombreux programmes de personnalisation que vous pouvez télécharger et utiliser. N'oubliez pas qu'Ubuntu 12.04 est un système d'exploitation Gnome 3. C'est Gnome que vous souhaitez thème.

Jo-Erlend Schinstad
la source
donc je dois attendre. jusqu'à ce qu'ils trouvent de bons programmes de personnalisation.
John
Il existe de bons programmes de personnalisation. La question est de savoir ce que vous souhaitez personnaliser. Puisque vous n'avez pas demandé, je n'ai pas pu répondre. Il convient probablement d'être une question à part entière, mais essayez d'être précis.
Jo-Erlend Schinstad du
en fait, je voulais modifier le visage et la taille de la police pour mon thème actuel.
John
1
Dans ce cas, je recommanderai la réponse de agc93.
Jo-Erlend Schinstad