From 9623fd442fabd8f6e9df569900b91abaed63403e Mon Sep 17 00:00:00 2001
From: Travis Swicegood <development@domain51.com>
Date: Mon, 30 May 2011 10:12:51 -0500
Subject: [PATCH] Allow clock to be formatted

---
 themes/doubletime/doubletime.theme.bash | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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 @@ prompt_setter() {
   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='+ '
-- 
2.17.1