bin/mo-create-public

   1 #!/bin/bash
   2
   3 [ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
   4 set -e
   5 . config
   6
   7 echo "Populating $MO_ROOT/public"
   8 H=`pwd`
   9 cd $MO_ROOT/public
  10 rm -rf bin lib
  11
  12 sed '/^\(TEST_USER\|MO_ROOT\)=/s/^/#/' <$H/config >config
  13
  14 mkdir bin
  15 cp -a $H/public/[a-z]* bin/
  16 for a in `cat $H/public/COPY` ; do
  17         cp -a $H/$a bin/
  18 done
  19
  20 if [ -n "$REMOTE_SUBMIT" ] ; then
  21         cp $H/submit/{contest,remote-submit,remote-status} bin/
  22         mkdir lib
  23         cp -a $H/submit/lib .
  24 fi
  25
  26 mkdir -p problems
  27
  28 if [ `id -u` == 0 ] ; then
  29         chown -R $EVAL_USER.$EVAL_GROUP .
  30         chmod 755 .
  31 fi