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 rm -rf $MO_ROOT/public
  12 mkdir $MO_ROOT/public
  13 cd $MO_ROOT/public
  14
  15 rm -rf cf
  16 mkdir cf
  17 for a in mop ; do
  18         sed '/^\(TEST_USER\|MO_ROOT\)=/s/^/#/' <$H/cf/$a >cf/$a
  19 done
  20
  21 rm -rf bin
  22 mkdir bin
  23 cp -aL $M/public/compile bin/
  24
  25 rm -rf lib
  26
  27 rm -rf templater
  28 cp -aL $M/project/templater.pl bin/
  29 chmod +x bin/templater.pl
  30 cp -aL $M/project/templater templater
  31
  32 mkdir -p problems