Call bashrc from profile.

[moe.git] / config

diff --git a/config b/config
index ba37efce143a516dfd047f20dd7aca70bb91446d..7b472e177a05d216f595d2504c1a14bbbcddc40f 100644 (file)
--- a/config
+++ b/config
@@ -2,9 +2,7 @@
 # (c) 2001--2007 Martin Mares <mj@ucw.cz>
 
 # The root of the whole directory hierarchy
 # (c) 2001--2007 Martin Mares <mj@ucw.cz>
 
 # The root of the whole directory hierarchy

-if [ -z "$MO_ROOT" ] ; then
-       MO_ROOT=/aux/mo
-fi
+MO_ROOT=/mo

 
 # User and group used by the evaluator itself
 EVAL_USER=mo-eval
 
 # User and group used by the evaluator itself
 EVAL_USER=mo-eval


@@ -16,8 +14,10 @@ EVAL_GROUP=mo-eval
 # with EVAL_USER privileges, but beware, this is INSECURE.
 #TEST_USER=${TEST_USER:-mo-test1}
 TEST_USERS="mo-test1 mo-test2"
 # with EVAL_USER privileges, but beware, this is INSECURE.
 #TEST_USER=${TEST_USER:-mo-test1}
 TEST_USERS="mo-test1 mo-test2"

+TEST_GROUP=mo-test

 
 

-# These values are used when creating logins for eval and contestanst.
+# These values are used when creating logins for eval and contestants
+# (group id's are from the same range)

 EVAL_UID_MIN=65000
 CT_UID_MIN=65100
 CT_UID_MAX=65199
 EVAL_UID_MIN=65000
 CT_UID_MIN=65100
 CT_UID_MAX=65199


@@ -28,6 +28,11 @@ CT_UID_MAX=65199
 # or (if undefined) scans /etc/passwd for users with UID between CT_UID_MIN and CT_UID_MAX.
 CT_USER_LIST=userlist
 
 # or (if undefined) scans /etc/passwd for users with UID between CT_UID_MIN and CT_UID_MAX.
 CT_USER_LIST=userlist
 

+# (optional) Use remote submitting
+REMOTE_SUBMIT=1
+REMOTE_SUBMIT_USER=mo-submit
+REMOTE_SUBMIT_GROUP=mo-submit
+

 ### Per-task configuration variables (default values, override in per-task config)
 
 ## Compiler settings:
 ### Per-task configuration variables (default values, override in per-task config)
 
 ## Compiler settings: