From 7d23bfc3b68be3383b178a9a2108773bbd19249e Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@aquariusoft.org>
Date: Tue, 15 Jul 2014 16:45:26 +0200
Subject: [PATCH] If host is a server, username in prompt is green

---
 .bashrc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.bashrc b/.bashrc
index 6ac354c..89022e4 100644
--- a/.bashrc
+++ b/.bashrc
@@ -74,8 +74,13 @@ if [ "$color_prompt" = yes ]; then
     BLACK="\[\033[0m\]"
     BLUE="\[\033[0;34m\]"
     YELLOW="\[\033[0;33m\]"
+    GREEN="\[\033[0;32m\]"
     PROMPT_SYMBOL='$'
-    PS1="$YELLOW\t $BLUE\u$BLACK@\h:\W$ "
+    if [ "${HOSTNAME}" = "higgs.aquariusoft.org" ] || [ "${HOSTNAME}" = "medusa" ]; then
+        PS1="$YELLOW\t $GREEN\u$BLACK@\h:\W$ "
+    else
+        PS1="$YELLOW\t $BLUE\u$BLACK@\h:\W$ "
+    fi
     #PS1="$YELLOW\t $BLUE\u$BLACK@\h:\W$(hg_ps1)$ "
     #PS1="$YELLOW\t $BLUE\u$BLACK@\h:\W$(hg_ps1)$(__git_ps1)$ "
     # /Michiel's colour config