]> mj.ucw.cz Git - moe.git/commitdiff
MO_PUBLIC has been replaced by MO_ROOT.
authorMartin Mares <mj@ucw.cz>
Sun, 10 Jun 2007 10:55:37 +0000 (12:55 +0200)
committerMartin Mares <mj@ucw.cz>
Sun, 10 Jun 2007 10:55:37 +0000 (12:55 +0200)
bin/lib
public/check
public/compile
public/status
public/submit
template/.profile

diff --git a/bin/lib b/bin/lib
index cb5e2150d2f9402a35d424a1cc2ebf44563f9884..588cf269b5c4ec98522cc59a5bfaf9f36e5ae487 100644 (file)
--- a/bin/lib
+++ b/bin/lib
@@ -321,8 +321,8 @@ function output-check
 
 function public-setup
 {
-       HDIR=$MO_PUBLIC
-       PDIR=$MO_PUBLIC/problems/$PROBLEM
+       HDIR=$MO_ROOT
+       PDIR=$MO_ROOT/problems/$PROBLEM
        SDIR=.
        TDIR=~/.test
        TMPDIR=~/.test
@@ -334,7 +334,7 @@ function public-setup
        BOXDIR=~/.box
        mkdir -p $BOXDIR
        rm -rf $BOXDIR/*
-       BOXCMD="$MO_PUBLIC/bin/box -c$BOXDIR"
+       BOXCMD="$MO_ROOT/bin/box -c$BOXDIR"
        exec >log
        pend "OK  (see 'log' for details)"
 }
index ce9a86b9453622b16e15d7d7278a943dc02aef6e..be2f99fc0479ac29ce63fe5420fd69cade4854f4 100644 (file)
@@ -2,9 +2,9 @@
 # (c) 2001--2004 Martin Mares <mj@ucw.cz>
 
 set -e
-[ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; }
-. $MO_PUBLIC/bin/lib
-. $MO_PUBLIC/config
+[ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
 
 [ -n "$1" ] || die "Usage: check <problem> [<test-number>]"
 PROBLEM=$1
index 0a180d3f2d81b19cc8652c82cf2ced8750058681..b10ae9daefd62cc819f8ca846a5b2edcac3c54a5 100644 (file)
@@ -2,9 +2,9 @@
 # (c) 2001 Martin Mares <mj@ucw.cz>
 
 set -e
-[ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; }
-. $MO_PUBLIC/bin/lib
-. $MO_PUBLIC/config
+[ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
 
 [ -n "$1" ] || die "Usage: compile (<problem> | <file> [<options>])"
 if [ "${1%%.*}" == "$1" ] ; then
index fc7743236a227331b285e6da686d382650dfda23..a8c81f1b5abee44b8bc94a85bb050bd8f25591e5 100644 (file)
@@ -2,17 +2,17 @@
 # (c) 2004 Martin Mares <mj@ucw.cz>
 
 set -e
-[ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; }
-. $MO_PUBLIC/bin/lib
-. $MO_PUBLIC/config
+[ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
 
 [ -z "$1" ] || die "Usage: status"
 
 echo -e "Submitted tasks:\n"
 
-for PROBLEM in `cd $MO_PUBLIC/problems/ ; echo *` ; do
+for PROBLEM in `cd $MO_ROOT/problems/ ; echo *` ; do
        (
-       PDIR=$MO_PUBLIC/problems/$PROBLEM
+       PDIR=$MO_ROOT/problems/$PROBLEM
        SUBDIR=~/.submit/$PROBLEM
        [ -f $PDIR/config ] || exit 0
        echo -n "$PROBLEM: "
index 65416e0c9302ca93e115fef89151b400dd826fea..eaab532b524a7bab3b7e4b8db009cc1ca0f2e2c9 100644 (file)
@@ -2,9 +2,9 @@
 # (c) 2001--2004 Martin Mares <mj@ucw.cz>
 
 set -e
-[ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; }
-. $MO_PUBLIC/bin/lib
-. $MO_PUBLIC/config
+[ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
 
 FORCE=0
 if [ "$1" = --force ] ; then
index 98bb6641b6a4e05c583e206c7c5550be37d3b145..19b6f66ee563957c57734c0e75842ec92d9dda2d 100644 (file)
@@ -1,2 +1,2 @@
-export MO_PUBLIC=/aux/mo/public
-PATH=$PATH:$MO_PUBLIC/bin
+export MO_ROOT=/aux/mo/public
+PATH=$PATH:$MO_ROOT/bin