Onde está localizado o arquivo de configuração do terminal do gnome?

7

Estou tentando encontrar o arquivo de configuração do terminal gnome no Ubuntu 16.04, mas não tendo sorte alguma. Eu quero que o cursor não pare de piscar, e provavelmente há um parâmetro de timeout que eu posso mudar, mas não consigo encontrar o arquivo para fazer isso. Eu sei que isso pode ser feito através do dconf-editor, mas por alguma razão isso não está funcionando (acho que eu removi alguma dependência ou outra).

    
por Alcuin Arundel 18.05.2016 / 22:32

3 respostas

9

Não há arquivo de configuração.

O gnome-terminal gerencia todas as suas configurações através de dconf (ou gconf em versões antigas do Ubuntu), que é comparável ao registro do Windows. É um arquivo binário otimizado para ler rapidamente seus valores, você não pode editá-lo ou visualizá-lo manualmente como um documento de texto.

Se a sua ferramenta dconf-editor ou qualquer outra que você esteja tentando usar não estiver funcionando, você deverá corrigir o erro primeiro.

Apenas pela perfeição, mas provavelmente você já viu esses links (que mencionam apenas dconf / gconf , é claro): Como faço para desativar o cursor piscando no gnome-terminal?
Como desabilitar o cursor piscando no Gnome 3.8

    
por Byte Commander 18.05.2016 / 22:44
1

NB: você não precisará instalar nenhum programa ou remover nenhum arquivo.

Para editar suas gnome-terminal preferences sem realmente abrir ou usar gnome-terminal vá para

/root/usr/share/applications

Em seguida, localize Terminal na pasta.
Em seguida, abra suas propriedades clicando com o botão direito no Terminal .
Lá você verá o comando .
Isto é realmente o que acontece quando você abre o terminal. Então, para editar as preferências, altere o comando para gnome-terminal --preferences .
Voila

Depois de "reparar" as configurações. Basta fechar as preferências e, em seguida, remover --preferences do comando na janela de propriedades. Agora é só abrir o terminal como você faria normalmente.

EDIT : Se você estiver em uma interface de linha de comando, basta usar o comando gnome-terminal --profile=default

    
por Archit Agarwal 01.06.2018 / 09:56
0
  

Eu quero que o cursor não pare de piscar

GNOME Terminal não oferece uma opção separada para isso, mas respeita o padrão de GNOME , que está localizado na dconf key /org/gnome/desktop/interface/cursor-blink-timeout (em segundos).

Reúna esse valor gigante se você preferir que o cursor continue piscando, por exemplo,

dconf write /org/gnome/desktop/interface/cursor-blink-timeout 86400
    
por egmont 23.10.2017 / 15:20