Always add a whitespace to the end of the time segment for better look.

pull/22/head
Dominik Ritter 10 years ago
parent 4d99982e7c
commit 2058e56be5

@ -301,12 +301,12 @@ prompt_longstatus() {
# System time # System time
prompt_time() { prompt_time() {
local time_format='%D{%H:%M:%S} ' local time_format='%D{%H:%M:%S}'
if [[ -n $POWERLEVEL9K_TIME_FORMAT ]]; then if [[ -n $POWERLEVEL9K_TIME_FORMAT ]]; then
time_format=$POWERLEVEL9K_TIME_FORMAT time_format=$POWERLEVEL9K_TIME_FORMAT
fi 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) # Command number (in local history)

Loading…
Cancel
Save