Re: Bash escape character troubles

[donothing successfully]

On 16/07/07, Jean Jordaan <address@hidden> wrote:

> > Why do both use PROMPT_COMMAND to output your prompts?
>
> I use it to set the window title as described here:

Oh, it appears I've completely misunderstood what you were trying to do!
Sorry.

I haven't been able to replicate your problems with gnome
terminal, my version is 2.14.2.

I don't get the example you provided:
http://lists.gnu.org/archive/html/screen-users/2007-07/msg00009.html

> """
> address@hidden:~$ echo $PROMPT_COMMAND
> echo -ne "address@hidden:${PWD/#$HOME/~}\033\\
> address@hidden:${PWD/$HOME/~}\033\\"
> """

shouldn't there be an '\033k' somewhere to start the escape
sequence off?

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. ;-)

cheers
H.