dotfiles

commit ee4a279a639b9a3c543c0a72583a03a4395302b0
parent cc5260bddc1e8146bb6330298caf871edf0d4d75
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date:   Sat,  5 Nov 2016 10:30:01 +0100

Add option for hostname display

Diffstat:
M
.bashprompt
 | 
6
++++++

1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/.bashprompt b/.bashprompt
@@ -84,6 +84,12 @@ __set-prompt ()
     fi
 
     PS1+=$(__fontify '\u' green)
+
+    if [ ${PS1_SHOWHOSTNAME} ]
+    then
+        PS1+=$(__fontify '@\H' dim green)
+    fi
+
     PS1+=$(__fontify : bold white)
     PS1+=$(__fontify '\w' bold blue)
     PS1+=$(__fontify "$(__git_ps1 '(%s)')" red)