From e3fe6f90791ec2dbaec4b2a78b3ad4d51416ce8f Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 10 Jun 2007 12:55:37 +0200
Subject: [PATCH] MO_PUBLIC has been replaced by MO_ROOT.

---
 bin/lib           |  6 +++---
 public/check      |  6 +++---
 public/compile    |  6 +++---
 public/status     | 10 +++++-----
 public/submit     |  6 +++---
 template/.profile |  4 ++--
 6 files changed, 19 insertions(+), 19 deletions(-)

diff --git a/bin/lib b/bin/lib
index cb5e215..588cf26 100644
--- 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)"
 }
diff --git a/public/check b/public/check
index ce9a86b..be2f99f 100644
--- a/public/check
+++ b/public/check
@@ -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
diff --git a/public/compile b/public/compile
index 0a180d3..b10ae9d 100644
--- a/public/compile
+++ b/public/compile
@@ -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
diff --git a/public/status b/public/status
index fc77432..a8c81f1 100644
--- a/public/status
+++ b/public/status
@@ -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: "
diff --git a/public/submit b/public/submit
index 65416e0..eaab532 100644
--- a/public/submit
+++ b/public/submit
@@ -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
diff --git a/template/.profile b/template/.profile
index 98bb664..19b6f66 100644
--- a/template/.profile
+++ b/template/.profile
@@ -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
-- 
2.39.2