screen-users
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Bash escape character troubles


From: Peder Stray
Subject: Re: Bash escape character troubles
Date: Tue, 17 Jul 2007 08:08:08 +0200 (CEST)

On Sun, 15 Jul 2007, Troy Curtis Jr wrote:

I used to run Gentoo and when I moved to Ubuntu all the sudden my Bash
prompt command would work correctly.  It would correctly set the
window title but it would also display "134134" in front of my prompt.
Here is my PROMPT_COMMAND line:

export PROMPT_COMMAND='echo -ne "\033k\033\134\033k$(if [ ${UID} ==
"0" ]; then echo "root"; else $(if [ ${HOSTNAME} != "malkier" ]; then
echo ${HOSTNAME}; fi;); echo [$(basename "${PWD}" | sed
"s/^\([[:alnum:][:space:].]\{0,25\}\).*$/\1/" )]; fi;)\033\134"'

Try using \0134 or just \\ instead of \134.

--
  Peder Stray




reply via email to

[Prev in Thread] Current Thread [Next in Thread]