Parece que você pode ter modificado o próprio perfil do gnome-terminal, em vez de qualquer arquivo de perfil / recurso para o seu shell.
Pelo menos em 12.04 (e até onde eu posso dizer em 14.04 - embora a funcionalidade gconf
pareça estar em transição para o banco de dados dconf
com lançamentos sucessivos), você pode essencialmente redefinir suas preferências gnome-terminal
para sua fábrica padrões usando o comando gconftool
:
gconftool --recursive-unset /apps/gnome-terminal
Na ausência de trabalho atual gnome-terminal
, você precisará usar o diálogo de execução da área de trabalho Alt + F2 ou iniciar um emulador de terminal alternativo, como xterm
do traço, para executar o comando.