Jutilise Gnome-Terminal pour une grande partie de mon travail, et jaime séparer mes fenêtres par couleur en fonction de la tâche que je « fais, donc je » avez configuré plusieurs profils à laide de linterface graphique des préférences.
Jai trouvé en ligne des thèmes de couleurs que jaime et que jaimerais utiliser comme base pour certains de mes profils, y compris ceux que je créerai à lavenir. Cependant, linterface graphique des préférences na que quelques options de thème de couleur, et je devrais changer toutes les couleurs manuellement chaque fois que je veux utiliser lun de ces thèmes personnalisés.
Est-il possible dajouter des thèmes personnalisés à mon interface graphique de préférences? Si ce nest pas possible, existe-t-il une autre façon de définir facilement un thème de couleur personnalisé pour un profil? Je sais que je peux modifier manuellement les couleurs à dautres endroits, comme gconf-editor, mais je préfère un moyen simple de simplement indiquez-lui le thème de couleur par son nom et faites-lui gérer le reste (comme ce que vous pouvez faire avec linterface graphique).
Réponse
Les palettes de couleurs sont toutes codées en dur, donc lajout de thèmes personnalisés au menu Prefs intégré de gnome-terminal nest pas possible sauf si vous êtes prêt à patcher le code source et à recompiler lapplication.
un thème de couleur personnalisé pour votre profil est via des scripts. Regardez comment solarize le fait:
gnome-terminal-colors- solarized
Notez cependant que gconf est EOL et que les futures versions de gnome-terminal utiliseront le backend gsettings .
Commentaires
- Notez que Solarized vous recommande maintenant de créer un nouveau profil et de configurer le thème comme " thème personnalisé " ici.