Re: gnome-terminal preference