How to change the title of an xterm
v2.0, 27 October 1999
This document explains how to use escape sequences to
dynamically change window and icon titles of an xterm. Examples are
given for several shells, and the appendix gives escape sequences
for some other terminal types.