This change allows someone to change their host color by adding the
following to their `.bash_profile`:
# change to red
THEME_PROMPT_HOST_COLOR="red"
# change to green
THEME_PROMPT_HOST_COLOR="green"
Any variable inside the `colors.theme.bash` can be used and it will be
evaluated at the last minute.
RVM_THEME_PROMPT_PREFIX=" ("
RVM_THEME_PROMPT_SUFFIX=")"
+if [ ! -z $THEME_PROMPT_HOST_COLOR ]; then
+ THEME_PROMPT_HOST_COLOR=$(eval echo $`echo ${THEME_PROMPT_HOST_COLOR}`);
+else
+ THEME_PROMPT_HOST_COLOR="$blue"
+fi
+
doubletime_scm_prompt() {
CHAR=$(scm_char)
if [ $CHAR = $SCM_NONE_CHAR ]
history -c
history -r
PS1="
-\t $(scm_char) [\[$blue\]\u@${THEME_PROMPT_HOST}\[$reset_color\]] \w
+\t $(scm_char) [\[$THEME_PROMPT_HOST_COLOR\]\u@${THEME_PROMPT_HOST}\[$reset_color\]] \w
$(doubletime_scm_prompt)\[$reset_color\] $ "
PS2='> '
PS4='+ '