[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bash escape character troubles
From: |
donothing successfully |
Subject: |
Re: Bash escape character troubles |
Date: |
Tue, 17 Jul 2007 01:04:43 +0100 |
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.
- Bash escape character troubles, Troy Curtis Jr, 2007/07/15
- Re: Bash escape character troubles, Jean Jordaan, 2007/07/15
- Re: Bash escape character troubles, donothing successfully, 2007/07/15
- Re: Bash escape character troubles, Jean Jordaan, 2007/07/16
- Re: Bash escape character troubles,
donothing successfully <=
- Re: Bash escape character troubles, Troy Curtis Jr, 2007/07/16
- Re: Bash escape character troubles, Jean Jordaan, 2007/07/17
- Re: Bash escape character troubles, Jean Jordaan, 2007/07/17
- Re: Bash escape character troubles, donothing successfully, 2007/07/17
Re: Bash escape character troubles, Peder Stray, 2007/07/17