Jun 23, 2019 ulysses
Here’s how to find out which shell you are running. Run any of the 3 commands below.
echo $0 echo $SHELL ps -p "$$"