Localizando e editando cores do terminal do gnome sem gui

2

Eu gosto do editor de esquema de cores para o terminal do gnome e tudo, mas eu odeio não poder trabalhar com valores de cores, seja hexadecimal ou alguma outra forma. Como você descobre os valores de cor do tema do seu perfil e existe um arquivo em algum lugar onde você possa editá-los?

    
por webdesserts 02.08.2012 / 00:39

1 resposta

2

Eles são armazenados no gconf .gconf/apps/gnome-terminal/profiles/Default/%gconf.xml como valores hexadecimais de 12 dígitos (onde Default é o nome do perfil).

Você pode defini-los com gconftool-2, por exemplo,

gconftool-2 -s -t string /apps/gnome-terminal/profiles/Default/foreground_color #65657b7b8383

há também background_color e palette que pega uma lista de 16 valores separados por dois pontos (não sei o que isso corresponde).

    
por tallus 02.08.2012 / 01:18