From 178f98e1b1a290f6b68313bb01d215fe1b2852e1 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sat, 10 Aug 2019 03:15:54 -0400
Subject: [PATCH] bash: set terminal title

---
 .bashrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.bashrc b/.bashrc
index daa4d00..9e3f5e2 100644
--- a/.bashrc
+++ b/.bashrc
@@ -34,6 +34,9 @@ else
     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
-- 
2.20.1