From e3028e37a72a6eda983c207cf3df2639ddae2e0f Mon Sep 17 00:00:00 2001
From: Julien Palard <julien@palard.fr>
Date: Tue, 28 Jul 2020 22:32:53 +0200
Subject: [PATCH] title function, to set title.

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

diff --git a/.bashrc b/.bashrc
index f61b310..eb19575 100644
--- a/.bashrc
+++ b/.bashrc
@@ -75,9 +75,15 @@ do
     fi
 done
 
-[ "$TERM" != 'linux' -a z"$TERM" != z'eterm-color' ] && TITLE="\[\033]0;\H\a\]" || TITLE=''
-PREV_FAIL="\`PREV_FAIL=\$?; if [ \$PREV_FAIL != 0 ]; then echo \[\e[31m\]\$PREV_FAIL \[\e[0m\]; fi\`"
-PS1="$TITLE$PREV_FAIL\[$USERNAME_COLOR\]\u\[$WHITE\]@\[$HOSTNAME_COLOR\]\H\[$WHITE\]:\[\033[32m\]\w\[$WHITE\]"'$(__git_ps1 " (%s)")\n\$ '
+title()
+{
+    local TITLE="\[\033]0;$1\a\]"
+    local PREV_FAIL="\`PREV_FAIL=\$?; if [ \$PREV_FAIL != 0 ]; then echo \[\e[31m\]\$PREV_FAIL \[\e[0m\]; fi\`"
+    PS1="$TITLE$PREV_FAIL\[$USERNAME_COLOR\]\u\[$WHITE\]@\[$HOSTNAME_COLOR\]\H\[$WHITE\]:\[\033[32m\]\w\[$WHITE\]"'$(__git_ps1 " (%s)")\n\$ '
+}
+
+[ "$TERM" != 'linux' -a z"$TERM" != z'eterm-color' ] && DEFAULT_TITLE="\H" || DEFAULT_TITLE=''
+title "$DEFAULT_TITLE"
 
 jsonpp()
 {