http://bash-edit.com/how-can-i-change-the-title-of-my-shell