View Single Post
Old 10-19-2009, 10:17 AM
GKnight GKnight is offline
Registered User
Join Date: May 2008
Posts: 26
Thanks for the detailed explanation! I checked, and sure enough, I found this in the /etc/bashrc file:

PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME%%.*}:${PWD/#$HOME/~}\007"'
No big deal anymore as I enabled the "ignore the title change" option. But good to know for the future, in case I need some servers to set the tab name.
Reply With Quote