loki@NAZGUL.PHYSICS.MCGILL.CA (Loki Jorgenson) (05/15/91)
I recall that the magic incantations for changing the title bar on
a wsh and the title on the wsh's icon were discussed here. I can't find
anything in my limited archives. Can someone remind me what those special
sequences were?
Thanks,
_ _ _ _
Loki Jorgenson / / _ _ _ _ _ \ \ node: loki@Physics.McGill.CA
Grad/Systems Manager /_/_/_/_/ \_\_\_\_\ BITNET: PY29@MCGILLA
Physics, McGill University \ \ \_\_\_/_/_/ / / fax: (514) 398-3733
Montreal Quebec CANADA \_\_ _/_/ phone: (514) 398-7027
-* Anatomically correct *-fsfacca@AVELON.LERC.NASA.GOV (Tony Facca) (05/16/91)
to update the wsh title:
echo "\033P1.yWSH-TITLE\033\\"
to update the wsh name:
echo "\033P3.yWSH-NAME\033\\"
I have been using an alias on cd which look something like:
alias cd 'chdir \!*; ~/.update_cwd $cwd'
The executable script ~/.update_cwd looks like this:
#! /bin/csh -f
echo "\033P1.y$1\033\\"
[Just two lines]
This will update the title of the window to reflect the current working
directory. Kinda cute.
-----------------------------------------------------------------------------
Tony Facca | fsfacca@avelon.lerc.nasa.gov | phone: 216-433-8318
-----------------------------------------------------------------------------
You are at Witt's end. Passages lead off in *all* directions.