Public bug reported:
Binary package hint: gnome-terminal
Hi, I don't know if this is a problem in gnome-terminal or in gnome-
panel.
I have a somehow complex window title in my .bashrc and use it in most
of the hosts I log, however, at some point (maybe after upgrading to
Hardy?), sometimes (I can't force it to happen), although the window
title in gnome-terminal is always OK, the corresponding title in the
panel's window list sticks to an older version of the title (maybe some
application, maybe the prompt in another host).
FWIW, here's the relevant part of my .bashrc:
###################################################
## Color variables for the prompt.
NONE='\[\033[0m\]'
BLACK='\[\033[0;30m\]'
RED='\[\033[0;31m\]'
GREEN='\[\033[0;32m\]'
BROWN='\[\033[0;33m\]'
BLUE='\[\033[0;34m\]'
PURPLE='\[\033[0;35m\]'
CYAN='\[\033[0;36m\]'
LTGRAY='\[\033[0;37m\]'
DKGRAY='\[\033[1;30m\]'
LTRED='\[\033[1;31m\]'
LTGREEN='\[\033[1;32m\]'
YELLOW='\[\033[1;33m\]'
LTBLUE='\[\033[1;34m\]'
MAGENTA='\[\033[1;35m\]'
LTCYAN='\[\033[1;36m\]'
WHITE='\[\033[1;37m\]'
PROMPT_COMMAND='echo -ne "\033]2;[EMAIL PROTECTED]: ${PWD/$HOME/~}|||";date
+%a\ %d-%m-%Y\ %H:%M:%S;echo -ne "||| bash ${BASH_VERSION}\007"'
# set variable identifying the chroot you work in (used in the prompt below)
if [ -z "$debian_chroot" ] && [ -r /etc/debian_chroot ]; then
debian_chroot=$(cat /etc/debian_chroot)
fi
if [ ${LOGNAME} = ${USER} ] ; then
USERCOLOR=${YELLOW}
else
USERCOLOR=${MAGENTA}
fi
if [ $USER = 'root' ] ; then
USERCOLOR=${LTRED}
fi
PS1="${CYAN}${debian_chroot:+($debian_chroot)}${LTBLUE}[\l(\j)/[EMAIL
PROTECTED]:${LTGREEN}\w${LTRED} \\\$${NONE} "
PS2="${MAGENTA}>${NONE} "
###################################################
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
wrong window title in gnome panel's windows list
https://bugs.launchpad.net/bugs/252411
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in ubuntu.
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
