installing and using xfce4 terminal instead of gnome terminal