Details
-
Bug
-
Resolution: Fixed
-
Minor
-
None
-
None
-
None
Description
this is a starting point, add this to gsh.sh
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
|
|
|