xterm dynamic title

[Alan BRASLAU <alan.braslau@cea.fr>]

Hello,

Using xterm and related emulators, one can set a dynamic title. Many
applications set this title. (Of course, the user can program the
emulator to ignore such dynamic titles, if preferred).

I find it useful, especially when I have many terminal windows open,
all running different processes in parallel. May I suggest the
following simple change to the context script:

#!/bin/sh
case "$TERM" in
  *xterm*) echo -e -n "\e]0;${0##*/} $*\a" ;;
esac
mtxrun --script context "$@"


1. Perhaps it would be preferred to implement such a feature in the
mtx-context.lua script, for example, rather than the shell script, as
one could then add useful information such as the run number. Also, one
may (or may not) want to do this when running -batch, etc.

2. On non-unix-like systems, perhaps the $TERM case would be different.

Alan
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : http://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________