From b944fee6ea0b5616e8bff95206c3ce57d268625f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Cornell=C3=A0?= <marc.cornella@live.com>
Date: Sat, 1 Jun 2019 21:12:08 +0200
Subject: [PATCH] installer: ask user about changing the shell to zsh

---
 tools/install.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tools/install.sh b/tools/install.sh
index a515bac48..d56d8addc 100755
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -159,6 +159,15 @@ setup_shell() {
 
 	echo "${BLUE}Time to change your default shell to zsh:${RESET}"
 
+	# Prompt for user choice on changing the default login shell
+	printf "${YELLOW}Do you want to change your default shell to zsh? [Y/n]${RESET} "
+	read opt
+	case $opt in
+		y*|Y*|"") echo "Changing the shell..." ;;
+		n*|N*) echo "Shell change skipped."; return ;;
+		*) echo "Invalid choice. Shell change skipped."; return ;;
+	esac
+
 	# Test for the right location of the "shells" file
 	if [ -f /etc/shells ]; then
 		shells_file=/etc/shells