From 4dad2d81ffb7e6c59df04599865adf4393905dcf Mon Sep 17 00:00:00 2001 From: romkatv Date: Thu, 30 May 2019 10:46:08 +0200 Subject: [PATCH] correctly handle zsh 5.4.2 whose ZSH_PATCHLEVEL does not start with "zsh" --- powerlevel9k.zsh-theme | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/powerlevel9k.zsh-theme b/powerlevel9k.zsh-theme index 7dcd2516..8acd7397 100755 --- a/powerlevel9k.zsh-theme +++ b/powerlevel9k.zsh-theme @@ -2326,11 +2326,9 @@ _p9k_init_timer() { # Test: PROMPT="${(pl:$((COLUMNS))::-:)}<%1(l.%2(l.FAIL.PASS).FAIL)> " zsh -dfis <<= 50 )) - return 0 + is-at-least 5.5 && ! is-at-least 5.7.2 } # Some people write POWERLEVEL9K_DIR_PATH_SEPARATOR='\uNNNN' instead of