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
  11
  12 sed 's/^TEST_USER=/#TEST_USER=/' <$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 mkdir -p problems
  21
  22 if [ `id -u` == 0 ] ; then
  23         chown -R $EVAL_USER.$EVAL_GROUP .
  24         chmod 755 .
  25 fi