On 16/07/07, Jean Jordaan <[EMAIL PROTECTED]> 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
"""
[EMAIL PROTECTED]:~$ echo $PROMPT_COMMAND
echo -ne "[EMAIL PROTECTED]:${PWD/#$HOME/~}\033\\
[EMAIL PROTECTED]:${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 [EMAIL PROTECTED]:${PWD/$HOME/\~}'
"""
which worked for me at least. ;-)
cheers
H.
_______________________________________________
screen-users mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/screen-users
