mop/admin/mo-create-public.sh

   1 #!/bin/bash
   2 # Create a directory with the public scripts from mop/public/.
   3
   4 [ -f cf/mop ] || { echo "Missing config file, check cwd." ; exit 1 ; }
   5 set -e
   6 . cf/mop
   7
   8 echo "Populating $MO_ROOT/public"
   9 H=`pwd`
  10 M=`pwd`/../mop
  11 cd $MO_ROOT/public
  12
  13 rm -rf cf
  14 mkdir cf
  15 for a in mop ; do
  16         sed '/^\(TEST_USER\|MO_ROOT\)=/s/^/#/' <$H/cf/$a >cf/$a
  17 done
  18
  19 rm -rf bin
  20 mkdir bin
  21 cp -aL $M/public/compile bin/
  22
  23 rm -rf lib
  24
  25 rm -rf templater
  26 cp -aL $M/project/templater.pl bin/
  27 chmod +x bin/templater.pl
  28 cp -aL $M/project/templater templater
  29
  30 mkdir -p problems