Newer
Older
# Do nothing
:
echo "ESAME_CLEAN_HOME = ${ESAME_CLEAN_HOME}"
echo "ESAME_USER = ${ESAME_USER}"
if [ ${ESAME_CLEAN_HOME} -eq 1 ]; then
(echo -n "CLEANING HOME FOR ${ESAME_USER} at "; date ) >> /var/log/esame.log
echo "CLEANING HOME FOR ${ESAME_USER}"
# Start fresh (but keep the home, just in case)
TIME=`date +%Y%m%d-%H%M`
cd /local && mv ${ESAME_USER} "${ESAME_USER}.${TIME}"

Alberto LIVIO BECCARIA
committed
chmod 000 "${ESAME_USER}.${TIME}"
#cp -a /opt/esame/home/${ESAME_USER} ${ESAME_USER}
cp -a /opt/esame/home/${ESAME_USER} ./
chown -Rh ${ESAME_USER}:esame ${ESAME_USER}
fi
}
args=("$@")
case "$1" in
'start')
stop
start
;;
echo "Usage: $0 { start | stop | restart } {0 | 1} { username }";
exit 1;
;;