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 ” Você configurou vários perfis usando a GUI de Preferências.
Encontrei alguns temas de cores online que gosto e gostaria de usar como base para alguns de meus perfis, incluindo qualquer um que eu crie no futuro. No entanto, a GUI de Preferências tem apenas algumas opções de tema de cores e eu precisaria alterar todas as cores manualmente sempre que 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? Sei que posso alterar manualmente as cores em outros lugares, como o gconf-editor, mas prefiro uma maneira fácil de apenas diga a ele o tema de cores por nome e faça com que ele cuide do resto (como o que você pode fazer com a GUI).
Resposta
As paletas de cores são todas codificadas, portanto, adicionar temas personalizados ao Menu Prefs integrado 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 configurar um tema de cores personalizado para o seu perfil é feito por meio de scripts. Dê uma olhada em como solarize faz isso:
gnome-terminal-colors- solarizado
Observe, porém, que gconf é EOL e versões futuras do gnome-terminal usarão o back-end gsettings .
Comentários
- Observe que Solarized agora recomenda que você crie um novo perfil e configure o tema como " tema " personalizado lá.