Onde os perfis do Gnome-Terminal estão armazenados no sistema de arquivos?

15

Criei um novo perfil que foi aberto com o programa fortune (atp-get install fortune-mod para o local do download) e o defini como o perfil com o qual abrir todos os novos terminais para que eu ganhasse uma nova fortuna ao abrir o terminal . Infelizmente, eu não sabia definir "terminal de saída quando o processo sair" para outra coisa, para que não saia quase imediatamente. Atualmente, ele sai assim que a sorte sai quase imediatamente e eu preciso excluir o perfil, mas não consigo acessar a opção "gerenciar perfis" do terminal, porque sai muito rápido para tentar abrir o menu de edição e muito menos excluir o perfil. Preciso saber em qual diretório o perfil está salvo para que eu possa excluir manualmente. Tentei fazer uma pesquisa em todo o sistema, mas os resultados dessa pesquisa foram muitos arquivos e pastas e não tenho tempo para abri-los todos. Agradeço toda a ajuda que posso obter. Desde já, obrigado.

gnome-terminal Marcello Nicoletti
fonte
1
Como importar perfil gnome-terminal de dconf banco de dados: unix.stackexchange.com/a/199864
bartolo-otrit
Como observação, o comentário / link do @ bartolo-otrit se refere aos gnome-terminalperfis na dconf(nota D ) - mas no ubuntu 14, os gnome-terminalperfis estão na gconf(nota G ); e para gconf, você pode olhar para ~/.gconf/apps/gnome-terminal/os perfis
sdbbs

Respostas:

14

Os perfis para o Terminal GNOME são armazenados no sistema de configuração do GConf . Para modificá-los diretamente, pressione Alt+ F2para exibir a caixa "Executar um comando", digite gconf-editore navegue até /apps/gnome-terminal/profiles.

Desmarcar /apps/gnome-terminal/profiles/Default/use_custom_commanddeve resolver seu problema.

Um método alternativo para sair dessa situação é substituir o comando personalizado, especificando outro como argumento da linha de comando, por exemplo gnome-terminal -x bash, mais uma vez na caixa "Executar um comando".

ændrük
fonte
O método alternativo acabou sendo o que funcionou. Muito obrigado. Eu votaria, mas não tenho 15 reputação :(
Marcello Nicoletti
O comando alternativo também é o único que funcionou. No editor do gconf, não havia nenhuma caixa de seleção "use_custom_command."
Balinus
@ ændrük desculpe por demorar tanto para aceitar. Acabei de receber uma notificação para esta pergunta que me trouxe de volta todos esses anos depois.
Marcello Nicoletti
3
No Ubuntu 17.04, essas entradas não estão lá no gconf-editor
phant0m
1
Perfis para # GNOME Terminal 3.32.1são armazenados em dconfnão gconfum comentário sobre esta questão parece implicar que eles devem ser migrados automaticamente para dconf, mas eu não tenho que ao trabalho askubuntu.com/questions/906137/...
EoghanM
2

Você também pode executar xtermoutro emulador de terminal disponível no Ubuntu. A partir daí, você pode executar todos os comandos necessários.

Para torná-lo o terminal padrão, execute:

sudo update-alternatives --config x-terminal-emulator

E mude o padrão para o que quiser.

Outra abordagem para corrigir o Gnome Terminal é usar o Nautilus (o gerenciador de arquivos) para excluir todas as preferências personalizadas:

  • Navegue até ~/.gconf/apps/gnome-terminal(é uma pasta oculta, clique CTRL+Hpara visualizar)
  • Edite os xmlarquivos lá ou simplesmente exclua a gnome-terminalpasta inteira
  • Abra seu Terminal Gnome novamente, ele será restaurado com as configurações de fábrica
MestreLion
fonte