From 30aee63f2217261b423c1cf02a86e25c88a9033f Mon Sep 17 00:00:00 2001
From: Dominik Ritter <dritter03@googlemail.com>
Date: Thu, 2 Apr 2015 02:19:08 +0200
Subject: [PATCH] Time format is now configurable.

---
 powerlevel9k.zsh-theme | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/powerlevel9k.zsh-theme b/powerlevel9k.zsh-theme
index 443f7cc3..76b1ac33 100644
--- a/powerlevel9k.zsh-theme
+++ b/powerlevel9k.zsh-theme
@@ -277,7 +277,12 @@ prompt_longstatus() {
 
 # System time
 prompt_time() {
-  $1_prompt_segment $DEFAULT_COLOR_INVERTED $DEFAULT_COLOR '%D{%H:%M:%S} '
+  local time_format='%D{%H:%M:%S} '
+  if [[ -n $POWERLEVEL9K_TIME_FORMAT ]]; then
+    time_format=$POWERLEVEL9K_TIME_FORMAT
+  fi
+
+  $1_prompt_segment $DEFAULT_COLOR_INVERTED $DEFAULT_COLOR $time_format
 }
 
 # Command number (in local history)