A configuração do terminal não está em um arquivo, mas em um armazenamento gconf que não pode ser editado diretamente. Para alterar essas configurações, você precisa usar a interface gráfica ou abrir o gconf-editor e alterar os valores em apps/gnome-terminal
.
Você também pode alterar esses valores por meio da ferramenta de linha de comando gconftool-2
.