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 armazenados esses diferentes perfis para o terminal?
No meu Ubuntu 16.04,
Bem, você citou três distribuições que usam pelo menos duas Gnomeversões diferentes . Isso é importante por causa da mudança de Gnome 2para a Gnome 3qual mudou de e GTK 2para GTK 3misturar um pouco as coisas.
Para chegar ao seu tópico, geralmente, toda a sua configuração para o usuário está em $HOMEalgum lugar. Primeiro você precisa procurar por $HOMEsi mesmo e, em seguida, tentar .confige, .gconfcomo ambos sugerem um diretório de configuração.
Dito isto, e com uma simples pesquisa no google, achei que poderia estar, ~/.gconf/apps/gnome-terminal/profilesmas sua milhagem pode variar.
GTKversão afetarágtk-2.0egtk-3.0configuração de diretório embora. Eu estava falando em geral e não apenas no terminal gnomo.