Comment ajouter des thèmes de couleurs aux préférences GUI de Gnome-Terminal?

J'utilise Gnome-Terminal pour une grande partie de mon travail et j'aime séparer mes fenêtres par couleur en fonction de la tâche que je fais, j'ai donc configuré plusieurs profils à l'aide de l'interface graphique des préférences.

J'ai trouvé en ligne des thèmes de couleurs que j'aime et que j'aimerais utiliser comme base pour certains de mes profils, y compris ceux que je créerai à l'avenir. Cependant, l'interface graphique des préférences ne dispose que de quelques options de thème de couleur, et je devrais changer toutes les couleurs manuellement chaque fois que je veux utiliser l'un de ces thèmes personnalisés.

Existe-t-il un moyen d'ajouter des thèmes personnalisés à mon interface graphique Préférences? Si ce n'est 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 changer manuellement les couleurs dans d'autres endroits, comme gconf-editor, mais je préférerais un moyen simple de lui dire le thème de couleur par son nom et de le faire gérer le reste (comme ce que vous pouvez faire avec l'interface graphique) .

Les palettes de couleurs sont toutes codées en dur, il n'est donc pas possible d'ajouter des thèmes personnalisés au menu Prefs intégré de gnome-terminal à moins que vous ne souhaitiez corriger le code source et recompiler l'application.

Une façon de définir des thèmes de couleur personnalisés pour votre profil est via des scripts. Jetez un œil à la façon dont la solarisation fonctionne:

gnome-terminal-colours-solarized

Notez cependant que gconf est en fin de vie et que les futures versions de gnome-terminal utiliseront le backend gsettings .