On Nov 30, 2006, at 3:52 PM, Jacob Rus wrote:
Well, the first two of these cases are in some
language presumably, which probably has its own convention for
writing control characters,
No, this is standard terminal emulation stuff (for controlling
window title, color, etc). Nothing to do with a particular shell.
Shell or not, you're still writing in some language, and you're
pretty much guaranteed to have some fashion of constructing control
characters in a given language.