Time format is now configurable.

10 years ago · 30aee63f22
parent 393e1c827b
commit 30aee63f22
1 changed files with 6 additions and 1 deletions
--- 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)