You are at a terminal command prompt in a Linux GUI interface that someone else has been using and want to find out which shell type is currently being used by the terminal.

What command can you enter to find out the current shell type?

echo $PATH

echo $UID

echo $$0$

echo $SHELL