Allow clock to be formatted
diff --git a/themes/doubletime/doubletime.theme.bash b/themes/doubletime/doubletime.theme.bash
index c5a8a42..91844f0 100644
--- a/themes/doubletime/doubletime.theme.bash
+++ b/themes/doubletime/doubletime.theme.bash
@@ -37,8 +37,14 @@
history -a
history -c
history -r
+ if [[ -z "$THEME_PROMPT_CLOCK_FORMAT" ]]
+ then
+ clock="\t"
+ else
+ clock=$THEME_PROMPT_CLOCK_FORMAT
+ fi
PS1="
-\t $(scm_char) [\[$THEME_PROMPT_HOST_COLOR\]\u@${THEME_PROMPT_HOST}\[$reset_color\]] $(virtualenv_prompt)\w
+$clock $(scm_char) [\[$THEME_PROMPT_HOST_COLOR\]\u@${THEME_PROMPT_HOST}\[$reset_color\]] $(virtualenv_prompt)\w
$(doubletime_scm_prompt)\[$reset_color\] $ "
PS2='> '
PS4='+ '