Como adicionar temas de cores às preferências da GUI do Gnome-Terminal?

9

Eu uso o Gnome-Terminal para grande parte do meu trabalho e gosto de separar minhas janelas por cores com base na tarefa que estou realizando, por isso configurei vários perfis usando a GUI de preferências.

Encontrei alguns temas on-line de cores que gosto e gostaria de usar como base para alguns dos meus perfis, incluindo os que eu criar no futuro. No entanto, a GUI Preferences possui apenas algumas opções de tema de cores, e eu precisaria alterar todas as cores manualmente a qualquer momento que desejar usar um desses temas personalizados.

Existe uma maneira de adicionar temas personalizados à minha GUI de preferências? Se isso não for possível, existe outra maneira de definir facilmente um tema de cores personalizado para um perfil? Eu sei que posso alterar manualmente as cores em outros lugares, como o gconf-editor, mas eu prefiro uma maneira fácil de dizer o tema da cor pelo nome e fazer com que ele cuide do resto (como o que você pode fazer com a GUI) .

Shauna
fonte

Respostas:

5

As paletas de cores são todas codificadas, portanto, a adição de temas personalizados ao menu Prefs interno do gnome-terminal não é possível, a menos que você esteja disposto a corrigir o código-fonte e recompilar o aplicativo.

Uma maneira de definir temas de cores personalizados para o seu perfil é através de scripts. Veja como a solarização é feita:

gnome-terminal-colors-solarized

Note, porém, que gconf é EOL e futuras versões do gnome-terminal de uso vontade gsettings backend.

don_crissti
fonte
Observe que o Solarized agora recomenda que você crie um novo perfil e configure o tema como o tema "personalizado" lá.
Wjandrea