Admin/isatest-settings

datatype thmref: added Fact;
renamed Goal constant to prop;

+
−# -*- shell-script -*-
+
−# $Id$
+
−# Author: Gerwin Klein, NICTA
+
−#
+
−# DESCRIPTION: common settings for the isatest-* scripts
+
−
+
−# source bashrc, we're called by cron
+
−. ~/.bashrc
+
−
+
−# canoncical home for all platforms
+
−HOME=/usr/stud/isatest
+
−
+
−## send email on failure to
+
−MAILTO="[e-mail] [e-mail] [e-mail] [e-mail] [e-mail] [e-mail] [e-mail]"
+
−
+
−LOGPREFIX=$HOME/log
+
−MASTERLOG=$LOGPREFIX/isatest.log
+
−
+
−ERRORDIR=$HOME/var
+
−ERRORLOG=$ERRORDIR/error.log
+
−
+
−RUNNING=$HOME/var/running
+
−
+
−DISTPREFIX=$HOME/tmp/isadist