Re: Bash escape character troubles

[Jean Jordaan]

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///\\