From 2058e56be5b09c47dbfad3cc1f28f35dad01ec69 Mon Sep 17 00:00:00 2001 From: Dominik Ritter Date: Fri, 3 Apr 2015 16:46:42 +0200 Subject: [PATCH] Always add a whitespace to the end of the time segment for better look. --- powerlevel9k.zsh-theme | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/powerlevel9k.zsh-theme b/powerlevel9k.zsh-theme index f15010c8..27c547f8 100644 --- a/powerlevel9k.zsh-theme +++ b/powerlevel9k.zsh-theme @@ -301,12 +301,12 @@ prompt_longstatus() { # System time prompt_time() { - local time_format='%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 + $1_prompt_segment $DEFAULT_COLOR_INVERTED $DEFAULT_COLOR "$time_format " } # Command number (in local history)