Eu uso o Gnome-Terminal para muito do meu trabalho, e gosto de separar minhas janelas por cores com base na tarefa que estou fazendo, então eu configurei vários perfis usando a GUI Preferences.
Eu encontrei alguns temas de cores on-line que eu gosto e gostaria de usar como base para alguns dos meus perfis, incluindo qualquer um que eu crie no futuro. No entanto, a GUI Preferences tem apenas algumas opções de tema de cores e eu precisaria alterar todas as cores manualmente sempre que eu quiser usar um desses temas personalizados.
Existe uma maneira de adicionar temas personalizados à minha GUI de Preferências? Se isso não for possível, há outra maneira de definir facilmente um tema de cor 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 manipule o resto (como o que você pode fazer com a GUI) .
As paletas de cores são todas codificadas, portanto, não é possível adicionar temas personalizados ao menu Prefs interno do gnome-terminal, a menos que você esteja disposto a corrigir o código-fonte e recompilar o aplicativo.
Uma forma de definir um tema de cores personalizado para o seu perfil é via scripts. Veja como solarize o faz:
gnome-terminal-colors-solarized
Note, no entanto, que o gconf é o EOL e as versões futuras do usarão o gsettings .
Tags gnome-terminal colors