modified gnome_terminal_config