]> mj.ucw.cz Git - moe.git/commitdiff
Created mo-create-public.
authorMartin Mares <mj@ucw.cz>
Sat, 5 Jun 2004 14:33:38 +0000 (14:33 +0000)
committerMartin Mares <mj@ucw.cz>
Sat, 5 Jun 2004 14:33:38 +0000 (14:33 +0000)
bin/mo-create-public [new file with mode: 0755]
public/COPY [new file with mode: 0755]

diff --git a/bin/mo-create-public b/bin/mo-create-public
new file mode 100755 (executable)
index 0000000..24766fd
--- /dev/null
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+[ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
+set -e
+. config
+
+echo "Populating $MO_ROOT/public"
+H=`pwd`
+cd $MO_ROOT/public
+rm -rf bin
+
+sed 's/^TEST_USER=/#TEST_USER=/' <$H/config >config
+
+mkdir bin
+cp -a $H/public/[a-z]* bin/
+for a in `cat $H/public/COPY` ; do
+       cp -a $H/$a bin/
+done
+
+mkdir -p problems
+
+if [ `id -u` == 0 ] ; then
+       chown -R $EVAL_USER.$EVAL_GROUP .
+       chmod 755 .
+fi
diff --git a/public/COPY b/public/COPY
new file mode 100755 (executable)
index 0000000..82d9bb8
--- /dev/null
@@ -0,0 +1,3 @@
+bin/lib
+bin/box
+bin/iwrapper