b944fee6ea0b5616e8bff95206c3ce57d268625f

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

Message

installer: ask user about changing the shell to zsh

Diff

 1diff --git a/tools/install.sh b/tools/install.sh
 2index a515bac485f102f0f84c42aea23bd346b7cbf1bb..d56d8addc7bbb10858d16e5d62d1feff3ca1b862 100755
 3--- a/tools/install.sh
 4+++ b/tools/install.sh
 5@@ -159,6 +159,15 @@ setup_shell() {
 6 
 7 	echo "${BLUE}Time to change your default shell to zsh:${RESET}"
 8 
 9+	# Prompt for user choice on changing the default login shell
10+	printf "${YELLOW}Do you want to change your default shell to zsh? [Y/n]${RESET} "
11+	read opt
12+	case $opt in
13+		y*|Y*|"") echo "Changing the shell..." ;;
14+		n*|N*) echo "Shell change skipped."; return ;;
15+		*) echo "Invalid choice. Shell change skipped."; return ;;
16+	esac
17+
18 	# Test for the right location of the "shells" file
19 	if [ -f /etc/shells ]; then
20 		shells_file=/etc/shells