added gnome_terminal config