added gnome-terminal.ini