`021f0251e072b0cd2c2f1bfb5b0d2f57fbdfdc50`

Author: Marc Cornellà <marc.cornella@live.com>
Committer: Marc Cornellà <marc.cornella@live.com>
Date: 2020-12-01 10:12 UTC

Message

fix(updater): make sure to run it with zsh

Diff

 1diff --git a/tools/upgrade.sh b/tools/upgrade.sh
 2index 5d593b6c646ae4e7228b80d32a7846e635247784..e41817885a4203c23b16d3847e02103017ad5ff9 100755
 3--- a/tools/upgrade.sh
 4+++ b/tools/upgrade.sh
 5@@ -1,5 +1,9 @@
 6 #!/usr/bin/env zsh
 7 
 8+if [ -z "$ZSH_VERSION" ]; then
 9+  exec zsh "$0"
10+fi
11+
12 cd "$ZSH"
13 
14 # Use colors, but only if connected to a terminal