Admin/isatest-settings
changeset 16095 f6af6b265d20
child 16106 c2ea4b171f99
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/isatest-settings	Fri May 27 01:09:44 2005 +0200
     1.3 @@ -0,0 +1,23 @@
     1.4 +# $Id$
     1.5 +# Author: Gerwin Klein, NICTA
     1.6 +#
     1.7 +# DESCRIPTION: common settings for the isatest-* scripts
     1.8 +
     1.9 +# source bashrc, we're called by cron
    1.10 +. ~/.bashrc
    1.11 +
    1.12 +# canoncical home for all platforms
    1.13 +HOME=/home/stud/isatest
    1.14 +
    1.15 +## send email on failure to
    1.16 +MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net haftmann@in.tum.de"
    1.17 +
    1.18 +LOGPREFIX=$HOME/log
    1.19 +MASTERLOG=$LOGPREFIX/isatest.log
    1.20 +
    1.21 +ERRORDIR=$HOME/var
    1.22 +ERRORLOG=$ERRORDIR/error.log
    1.23 +
    1.24 +RUNNING=$HOME/var/running
    1.25 +
    1.26 +DISTPREFIX=$HOME/tmp/isadist