bash: set terminal title
authorAmin Bandali <bandali@gnu.org>
Sat, 10 Aug 2019 07:15:54 +0000 (03:15 -0400)
committerAmin Bandali <bandali@gnu.org>
Sat, 10 Aug 2019 07:15:54 +0000 (03:15 -0400)
.bashrc

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