Você não precisará instalar nenhum programa nem remover nenhum arquivo.
Para editar suas preferências do terminal gnome, sem realmente abrir ou usar o gnome-terminal:
-
Vá para:
root/usr/share/applications
-
localize o Terminal na pasta.
- Em seguida, abra suas propriedades clicando com o botão direito no Terminal. Você verá o comando.
Isso é o que acontece quando você abre o terminal.
Então, para editar as preferências; altere o comando gnome-terminal
para gnome-terminal --preferences
... Voila!
Depois de "reparar" as configurações. Basta fechar as preferências e, em seguida, remover --preferences
do comando na janela de propriedades. Agora é só abrir o terminal como você faria.