bash: set terminal title

diff --git a/.bashrc b/.bashrc
index daa4d00..9e3f5e2 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -34,6 +34,9 @@ else
     PS1="\u@\h \$(a_prompt)> "
 fi
 
     PS1="\u@\h \$(a_prompt)> "
 fi
 

+# set terminal title
+PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: $(a_prompt)\007"'
+

 # i-beam cursor
 # echo -e "\033[5 q"              # blinking
 # echo -e "\033[6 q"              # non-blinking
 # i-beam cursor
 # echo -e "\033[5 q"              # blinking
 # echo -e "\033[6 q"              # non-blinking