Alterando as preferências do Gnome-terminal de dentro do terminal

7

Existe alguma maneira de editar as preferências do terminal como plano de fundo, cores, etc., dentro da própria linha de comando? O terminal é o terminal Gnome.

Estou usando o Ubuntu 14.04 trusty tahr.

    
por Aman 27.12.2014 / 21:48

1 resposta

5

Veja o que eu fiz:

  1. Instale o gconf-editor sudo apt-get install gconf-editor

  2. Disparou no terminal gconf-editor

  3. Foi para apps > gnome-terminal > profiles > Padrão dentro do editor de gnome

Isso abrirá os pares de valor-chave para as preferências. Edite o valor correspondente à chave necessária.

Obrigado por me apontar na direção em vez de dar a resposta exata @jasonwryan. Eu aprendi algumas outras coisas ao longo do caminho.

Agora, vou tentar usar gconftool-2 para fazer exatamente a mesma coisa. Estou tentando eliminar a necessidade de uma GUI:)

Links úteis: O que é o Gconf

Adição: Usando o gconftool-2

O programa gconftool-2 permite ao usuário interagir com o Gconf a partir da linha de comando.

Por exemplo, você deseja definir o nível de escuridão do fundo do terminal

Então, temos que definir a chave / apps / gnome-terminal / profiles / Default / background_darkness com um valor (digamos 0,50)

gconftool-2 --set /apps/gnome-terminal/profiles/Default/background_darkness --type=float 0.50

Similar a isso, podemos definir alterar outros valores correspondentes a diferentes chaves.

    
por 28.12.2014 / 14:34