Hello wayward traveler. This post actually describes a way to change the title of a gnome terminal running bash that works. It also...