From 021f0251e072b0cd2c2f1bfb5b0d2f57fbdfdc50 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marc=20Cornell=C3=A0?= Date: Tue, 1 Dec 2020 11:12:31 +0100 Subject: [PATCH] fix(updater): make sure to run it with zsh --- tools/upgrade.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tools/upgrade.sh b/tools/upgrade.sh index 5d593b6c6..e41817885 100755 --- a/tools/upgrade.sh +++ b/tools/upgrade.sh @@ -1,5 +1,9 @@ #!/usr/bin/env zsh +if [ -z "$ZSH_VERSION" ]; then + exec zsh "$0" +fi + cd "$ZSH" # Use colors, but only if connected to a terminal