|
From: | Jean Jordaan |
Subject: | Re: Bash escape character troubles |
Date: | Tue, 17 Jul 2007 10:31:58 +0300 |
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 address@hidden:${PWD/$HOME/\~}' """ which worked for me at least. ;-)
Works for me too, with a single change: "0134" instead of "134". Thanks!! -- jean . .. .... //\\\oo///\\
[Prev in Thread] | Current Thread | [Next in Thread] |