diff --git a/init/profile.sh.in b/init/profile.sh.in

index faa468639..64d21dbcd 100644

--- a/init/profile.sh.in

+++ b/init/profile.sh.in

@@ -3,7 +3,11 @@

 # get current shell name by querying shell variables or looking at parent

 # process name

 if [ -n "${BASH:-}" ]; then

-   shell=${BASH##*/}

+   if [ "${BASH##*/}" = 'sh' ]; then

+      shell='sh'

+   else

+      shell='bash'

+   fi

 elif [ -n "${ZSH_NAME:-}" ]; then

    shell=$ZSH_NAME

 else