No meu Ubuntu 16.04,
- abra o editor dconf (como usuário)
- org > gnome > terminal > legacy > perfis > ...
Espero que isso ajude.
Eu usei (Red Hat, Ubuntu, CentOS, outros). Essas distribuições utilizam o terminal Gnome e fornecem maneiras flexíveis de configurar diferentes perfis de terminal através de um menu suspenso localizado na janela do terminal, diretamente acima de onde os comandos são, geralmente, inseridos. Esses perfis permitem fazer alterações nas propriedades de fonte e cor de diferentes arquivos, etc.
Onde estão esses diferentes perfis para o terminal armazenado?
No meu Ubuntu 16.04,
Espero que isso ajude.
Bem, você acabou de citar três distribuições que usam pelo menos duas versões Gnome diferentes. Isso é importante por causa da mudança de Gnome 2 para Gnome 3 , que mudou de GTK 2 para GTK 3 e misturou um pouco as coisas.
Para chegar ao tópico, geralmente, toda a sua configuração para o usuário está em $HOME em algum lugar. Primeiro, você precisa procurar em $HOME e, em seguida, tentar .config e .gconf , já que ambos sugerem um diretório de configuração.
Assim sendo, com uma simples pesquisa no google, descobri que pode estar em ~/.gconf/apps/gnome-terminal/profiles , mas sua milhagem pode variar.