$ DISPLAY temas gtk dependentes

2

Eu tenho um computador em casa que faço login remotamente. O "monitor" para isso é uma TV, então eu quero que os aplicativos gtk usem uma fonte grande e um tema de ícones, o que eu consegui fazer editando o arquivo ~ / .gtkrc-2.0 e algumas outras coisas semelhantes. O que eu quero ser capaz de fazer é ter um tema separado para quando eu estiver fazendo o login remotamente. A melhor maneira de explicar é que eu gostaria que minha escolha do tema gtk dependesse da exibição X na qual o aplicativo é iniciado. Por exemplo, se eu começar algo em: 0.0 então é a TV e eu quero fontes grandes, mas se eu começar em localhost: 10.0 eu quero usar uma fonte de tamanho normal, porque ela será processada na tela do meu laptop. / p>

A solução elegante seria ter algum tipo de instrução IF no arquivo .gtkrc-2.0 que verifica a variável $ DISPLAY e se comporta de acordo. O problema é que não consigo encontrar qualquer documentação sobre estruturas de controle em arquivos .gktrc, ou se é mesmo possível fazer isso.

[Editar] Além disso, existe alguma maneira de fazer isso no GTK + 3 sem ter que instalar o gnome?

    
por vlsd 19.11.2011 / 01:25

2 respostas

1

Você pode conseguir isso executando um Xsettings daemon, como gnome-settings-daemon localmente em ambas as máquinas; afetará todos os clientes da tela X em que está sendo executado, substituindo gtkrc .

Se o programa usa o GTK + 2, você pode apontar $GTK2_RC_FILES para uma lista separada por dois pontos da gtkrc . (Não há alternativa direta para o GTK + 3 settings.ini ; ele usa o Xsettings como o mecanismo principal.)

    
por 19.11.2011 / 23:28
0

AFAIK não é possível fazer qualquer script para o gtkrc. Você pode copiar ambas as configurações para algum lugar onde possa restaurá-las a partir de .xinitrc, .xsession ou outro arquivo de inicialização do X. O único problema é que você não pode usar ambos: 0.0 e: 10.0 rodando em paralelo com diferentes temas. Você deve executar apenas um X no momento ou criar um usuário diferente com um diretório base diferente para sua configuração de TV, por exemplo. Você pode até usar o mesmo UID / GID para ambos os usuários e terá acesso a todos os arquivos.

    
por 19.11.2011 / 22:46