Re: change gnome-terminal "title" from cmdline