From a40d93295f91d1553522e58433e0ba2c4186d2b8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Cornell=C3=A0?= <marc.cornella@live.com>
Date: Mon, 27 May 2019 22:21:39 +0200
Subject: [PATCH] installer: don't run zsh at the end

Co-authored-by: Joel Kuzmarski <leoj3n@gmail.com>
---
 tools/install.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/install.sh b/tools/install.sh
index b479dc803..2d2936531 100755
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -219,6 +219,11 @@ main() {
 	EOF
 	printf "$RESET"
 
+	if [ ! -t 0 ]; then
+		echo "${YELLOW}Run zsh to try it out.${RESET}"
+		exit
+	fi
+
 	exec zsh -l
 }