Linux Mint 12: Não é possível criar perfis do terminal gnome

Question

Eu estou tentando configurar alguns perfis do gnome-terminal, para que eu possa ter um conjunto de guias pré-configurado quando eu inicio o gnome-terminal. Anteriormente eu consegui isso indo até Edit = > Profiles ... (no gnome-terminal), adicionando um novo perfil e usando gnome-terminal --tab-with-profile=ThatProfile .

No entanto, isso não está funcionando na minha nova caixa (Linux Mint 12). Eu posso criar perfis muito bem, mas quando eu tento executá-los com - tab-com-perfil, recebo um erro "Nenhum tal perfil" teste ", usando o perfil padrão". Se eu, então, verificar ~/.gconf/apps/gnome-terminal/profiles , com certeza o único perfil listado é Padrão.

Então, parece que o gnome-terminal está criando perfis em algum lugar , porque os perfis que eu crio aparecem no próprio gnome-terminal. No entanto, eles não estão sendo criados em ~/.gconf/apps/gnome-terminal/profiles e não estão sendo criados onde o gnome-terminal realmente procura por perfis (quando você usa --tab-with-profile).

Alguém tem alguma ideia do que está acontecendo?

............................................... ..

    

Answer 1

Eu não tenho uma ideia clara do que está acontecendo, mas suponho que alguma incompatibilidade esteja acontecendo entre algumas partes do software gnome-terminal. Isso pode ser resolvido em versões posteriores.

Você pode tentar procurar os perfis por nome em todo o disco. Se encontrado, você pode copiá-los manualmente para a pasta de perfis.

Também me pergunto se o "Terminal > Alterar perfil" funciona com seus perfis. Se isso funcionar, então o bug está no parâmetro tab-with-profile.

Se a pergunta não for resolvida aqui, talvez você também possa perguntar no Fóruns do Linux Mint .