Boot-Repair не увенчался успехом

Вы можете вручную изменить настройки терминала gnome, перейдя на ~/.gconf/apps/gnome-terminal/. Просто отредактируйте файл xml с помощью gedit и удалите строку нарушения.

Я не уверен, нужно ли редактировать файл непосредственно в ~/.gconf/apps/gnome-terminal/ или в ~/.gconf/apps/gnome-terminal/Profile/Default, вам может потребоваться попробовать оба.