if [ -z "$GROUPER_GSH_CHECK_USER" ]

  then

    if [ -f /usr/local/bin/grouperEnv.sh ] 

      then

        . /usr/local/bin/grouperEnv.sh

    fi

fi

if [ "$GROUPER_GSH_CHECK_USER" = "true"  ]

  then

    username=$(whoami)

    if [ "$GROUPER_GSH_USER" != "$username"  ]

      then

        echo "ERROR: User is '$username' but should be '$GROUPER_GSH_USER'!  sudo -u $GROUPER_GSH_USER /bin/bash      and then run gsh.sh"

        exit 1

    fi

    if [ -z "$JAVA_HOME" ] 

      then

        if [ -f /etc/bashrc ] 

          then

            . /etc/bashrc

        fi

    fi

fi