diff options
author | Dominik Ritter <dritter03@googlemail.com> | 2015-04-02 03:19:08 +0300 |
---|---|---|
committer | Dominik Ritter <dritter03@googlemail.com> | 2015-04-02 03:19:08 +0300 |
commit | 30aee63f2217261b423c1cf02a86e25c88a9033f (patch) | |
tree | 54ba02a8dc37e3af291c835511f1b4ff1af1107f /powerlevel9k.zsh-theme | |
parent | 393e1c827b921f31cc0d74c9bf65076b69876708 (diff) |
Time format is now configurable.
Diffstat (limited to 'powerlevel9k.zsh-theme')
-rw-r--r-- | powerlevel9k.zsh-theme | 7 |
1 files changed, 6 insertions, 1 deletions
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) |