# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1317911148 -10800
# Node ID aa682f0b1e7bc92772ffcc7dfedb074e9490ff4f
# Parent  987a83ddd68956b6dd709dd880a27326b8dd4c24
Show host name to distinct local and remote shell (when ssh was used).

diff -r 987a83ddd689 -r aa682f0b1e7b .bashrc
--- a/.bashrc	Wed Sep 28 18:21:39 2011 +0300
+++ b/.bashrc	Thu Oct 06 17:25:48 2011 +0300
@@ -14,7 +14,7 @@
 PS1='bash# '
 # Set magenta bold font.
 case "$TERM" in
-  xterm*) PS1='\[\033[35m\033[1m\]bash# \[\033[0m\]'
+  xterm*) PS1='\[\033[31m\033[1m\]\h\033[35m\]+bash# \[\033[0m\]'
   ;;
 esac