Estou tentando encontrar o arquivo de configuração do terminal gnome no Ubuntu 16.04, mas não estou tendo sorte alguma. Quero que o cursor não pare de piscar e provavelmente há um parâmetro de tempo limite que posso alterar, mas não consigo encontrar o arquivo para fazer isso. Eu sei que isso pode ser feito através do dconf-editor, mas por algum motivo isso não está funcionando (acho que removi alguma dependência ou outra).
Responder1
Não há arquivo de configuração.
O gnome-terminalgerencia todas as suas configurações através dconf(ou gconfem versões antigas do Ubuntu), que é comparável ao registro do Windows. É um arquivo binário otimizado para leitura rápida de seus valores, não é possível editá-lo ou visualizá-lo manualmente como um documento de texto.
Se a sua dconf-editorou qualquer ferramenta que você está tentando usar não estiver funcionando, você deverá corrigirqueerro primeiro.
Apenas para completar, mas provavelmente você já viu esses links (que mencionam apenas dconf/ gconf, é claro):
Como desativo o cursor piscante no gnome-terminal?
Como desativar o cursor piscante no Gnome 3.8?
Responder2
Os comentários à postagem original deexpressoeFabian Strietelmerecem reconhecimento especial. Entre esses dois, consegui copiar facilmente minhas preferências (vários perfis e outras coisas menores) de VM para VM. Muito obrigado!
Salvar:
dconf dump /org/gnome/terminal/ > ~/gterminal.preferences
Instalar:
cat ~/gterminal.preferences | dconf load /org/gnome/terminal/legacy/profiles:/
Responder3
Seguindo a resposta de ajaym62, consegui fazer backup e restauração das propriedades com os seguintes comandos:
dconf dump /org/gnome/terminal/ > ~/dev/help/gnome-terminal.properties
cat ~/dev/help/gnome-terminal.properties | dconf load /org/gnome/terminal/
Eu tive primeiro que instalar a dconfferramenta:
sudo apt install dconf-cli
Responder4
NB: você não precisará instalar nenhum programa ou remover nenhum arquivo.
Para editar suas gnome-terminalpreferênciassem realmente abrir ou usar gnome-terminalVá para
/root/usr/share/applications
Então localizeterminalna pasta.
Em seguida, abra suas propriedades clicando com o botão direito emterminal.
Lá você verácomando.
Na verdade, isso é o que acontece quando você abre o terminal. Portanto, para editar as preferências, altere o comando para gnome-terminal --preferences.
Voilá
Depois de "reparar" as configurações. Basta fechar as preferências e remover --preferencesdo comando na janela de propriedades. Agora basta abrir o terminal como faria normalmente.
EDITAR: Se você estiver em uma interface de linha de comando, basta usar o comandognome-terminal --profile=default