From 576499a5ad6bc7b4b80238010ce8f1ab6dcde264 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marc=20Cornell=C3=A0?= Date: Tue, 21 May 2019 14:15:42 +0200 Subject: [PATCH] installer: fix for failed chsh quitting the installation --- tools/install.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/install.sh b/tools/install.sh index 3ed8584aa..446e7f416 100755 --- a/tools/install.sh +++ b/tools/install.sh @@ -95,7 +95,9 @@ setup_shell() { # If this platform provides a "chsh" command (not Cygwin), do it, man! if command_exists chsh; then echo "${BLUE}Time to change your default shell to zsh!${NORMAL}" - chsh -s $(grep /zsh$ /etc/shells | tail -1) + if ! chsh -s $(grep /zsh$ /etc/shells | tail -1); then + echo "Error: chsh command unsuccessful. Change your default shell manually." + fi # Else, suggest the user do so manually. else cat <<-EOF