Hi donothing, Peder & all
I tried defining a function to do the escaping and called it
from PROMPT_COMMAND:
"""
harry8~> function settitle() { echo -n -e '\033k'"$@"'\033\134'; }
harry8~> PROMPT_COMMAND='settitle [EMAIL PROTECTED]:${PWD/$HOME/\~}'
"""
which worked for me at least. ;-)
Works for me too, with a single change: "0134" instead of "134".
Thanks!!
--
jean . .. .... //\\\oo///\\
_______________________________________________
screen-users mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/screen-users
