]> mj.ucw.cz Git - moe.git/blobdiff - bin/mo-create-public
Record local history in the GUI, too.
[moe.git] / bin / mo-create-public
index ff91f92ee1b4f69c82c99e934d35a4a03905225c..91c9c8e715deca1d252005ccd5b610daa40de851 100755 (executable)
@@ -7,9 +7,9 @@ set -e
 echo "Populating $MO_ROOT/public"
 H=`pwd`
 cd $MO_ROOT/public
-rm -rf bin submit
+rm -rf bin lib
 
-sed 's/^TEST_USER=/#TEST_USER=/' <$H/config >config
+sed '/^\(TEST_USER\|MO_ROOT\)=/s/^/#/' <$H/config >config
 
 mkdir bin
 cp -a $H/public/[a-z]* bin/
@@ -18,11 +18,9 @@ for a in `cat $H/public/COPY` ; do
 done
 
 if [ -n "$REMOTE_SUBMIT" ] ; then
-       mkdir -p submit
-       cp $H/submit/{contest,remote-submit,remote-status} submit/
-       mkdir -p submit/lib/perl5/{MO,Sherlock}
-       cp $H/submit/MO/*.pm submit/lib/perl5/MO/
-       cp $H/submit/lib/perl5/Sherlock/Object.pm submit/lib/perl5/Sherlock/
+       cp $H/submit/{contest,remote-submit,remote-status} bin/
+       mkdir lib
+       cp -a $H/submit/lib .
 fi
 
 mkdir -p problems