From f06247d5d3af925ce5c8526ca6a3050d14d375f5 Mon Sep 17 00:00:00 2001 From: Kevin Song Date: Tue, 20 Aug 2019 20:49:07 -0700 Subject: [PATCH] fix: Correct ZSH init on older ZSH versions (#213) --- src/init.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/init.rs b/src/init.rs index 4fb6882e..f0e8bd42 100644 --- a/src/init.rs +++ b/src/init.rs @@ -187,7 +187,7 @@ starship_precmd() { STATUS=$? # Compute cmd_duration, if we have a time to consume - if [[ $STARSHIP_START_TIME ]]; then + if [[ ! -z "${STARSHIP_START_TIME+1}" ]]; then STARSHIP_END_TIME="$(date +%s)" STARSHIP_DURATION=$((STARSHIP_END_TIME - STARSHIP_START_TIME)) PROMPT="$(starship prompt --status=$STATUS --cmd-duration=$STARSHIP_DURATION --jobs="$(jobs | wc -l)")"