a40d93295f91d1553522e58433e0ba2c4186d2b8

Author
Marc Cornellà <marc.cornella@live.com>
Committer
Marc Cornellà <marc.cornella@live.com>
Date

Message

installer: don't run zsh at the end

Co-authored-by: Joel Kuzmarski <leoj3n@gmail.com>

Diff

 1diff --git a/tools/install.sh b/tools/install.sh
 2index b479dc80353880799c9701f6a9196f0780057806..2d29365313c785826ef08d91aebf25efccc56fd2 100755
 3--- a/tools/install.sh
 4+++ b/tools/install.sh
 5@@ -219,6 +219,11 @@ main() {
 6 	EOF
 7 	printf "$RESET"
 8 
 9+	if [ ! -t 0 ]; then
10+		echo "${YELLOW}Run zsh to try it out.${RESET}"
11+		exit
12+	fi
13+
14 	exec zsh -l
15 }
16