From f309257dac3a22945527c88bb5b4b3efaf2d72e8 Mon Sep 17 00:00:00 2001 From: Benson Muite Date: Wed, 25 Oct 2023 15:51:23 +0300 Subject: [PATCH] Explain how to change shell temporarily and permanently Based on https://github.com/swcarpentry/shell-novice/pull/1396/files by @jweekley-ucsc --- _includes/install_instructions/shell.html | 30 +++++++++++++++++------ 1 file changed, 22 insertions(+), 8 deletions(-) diff --git a/_includes/install_instructions/shell.html b/_includes/install_instructions/shell.html index 93aa872e..534ff29c 100644 --- a/_includes/install_instructions/shell.html +++ b/_includes/install_instructions/shell.html @@ -106,7 +106,7 @@

Video Tutorial

- The default shell in some versions of macOS is Bash, and + The default shell in Mac OS X Ventura and newer versions is Zsh, but Bash is available in all versions, so no need to install anything. You access Bash from the Terminal (found in /Applications/Utilities). @@ -118,11 +118,16 @@

Video Tutorial

To see if your default shell is Bash type echo $SHELL in Terminal and press the Return key. If the message printed does not end with '/bash' then your default is something - else and you can run Bash by typing bash + else, you can change your current shell to Bash by typing + bash and then pressing Return. To check + your current shell type echo $0 and press Return.

- If you want to change your default shell, see - this Apple Support article and follow the instructions on "How to change your default shell". + To change your default shell to Bash type chsh -s /bin/bash and + press the Return key, then reboot for the change to take effect. To + change your default back to Zsh, type chsh -s /bin/zsh, press the + Return key and reboot. To check available shells, type + cat /etc/shells.

Video Tutorial

@@ -137,10 +142,19 @@

Video Tutorial

install anything.

- To see if your default shell is Bash type echo $SHELL in - a terminal and press the Enter key. If the message printed - does not end with '/bash' then your default is something else and you - can run Bash by typing bash. + To see if your default shell is Bash type echo $SHELL + in Terminal and press the Return key. If the message + printed does not end with '/bash' then your default is something + else, you can change your current shell to Bash by typing + bash and then pressing Return. To check + your current shell type echo $0 and press Return. +

+

+ To change your default shell to Bash type chsh -s /bin/bash and + press the Return key, then reboot for the change to take effect. To + change your default back to Zsh, type chsh -s /bin/zsh, press the + Return key and reboot. To check available shells, type + cat /etc/shells.