From 1e23a4dea09e896cede5dd3182537ed8a7eb1ee5 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Thu, 29 Mar 2001 18:55:12 +0000
Subject: [PATCH] Modified the install script to handle public files.

---
 bin/mo-install | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/bin/mo-install b/bin/mo-install
index e362614..cae344e 100755
--- a/bin/mo-install
+++ b/bin/mo-install
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-[ -f config ] || ( echo "Missing config file, check cwd." ; exit 1 )
+[ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
 set -e
 . config
 
@@ -32,13 +32,16 @@ for u in $TEST_USERS ; do
 	done
 
 # common
-echo "Creating common"
-rm -rf common
-mkdir common
-cd common
+echo "Creating public"
+rm -rf public
+mkdir public
+cd public
+cp -a $H/bin $H/config $H/problems .
+cp -a $H/public/* bin/
+chmod +x bin/*
 cd ..
-chown -R $EVAL_USER.$EVAL_GROUP common
-chmod 750 $EVAL_USER
+chown -R $EVAL_USER.$EVAL_GROUP public
+chmod 755 public
 
 # SSH keys (FIXME)
 echo "Copying SSH keys"
-- 
2.39.2