On Nov 30, 2006, at 5:22 PM, Rob McBroom wrote:

On Nov 30, 2006, at 3:52 PM, Jacob Rus wrote:

Well, the first two of these cases are in some shell scripting 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.