added gnome-terminal profiles