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

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

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:

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

No Ubuntu 17.04, essas entradas não estão lá no gconf-editor

— phant0m

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

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