Admin/isatest-settings
author kleing
Fri May 27 01:09:44 2005 +0200 (2005-05-27 ago)
changeset 16095 f6af6b265d20
child 16106 c2ea4b171f99
permissions -rw-r--r--
put global isatest settings in one file, sourced by the other scripts
     1 # $Id$
     2 # Author: Gerwin Klein, NICTA
     3 #
     4 # DESCRIPTION: common settings for the isatest-* scripts
     5 
     6 # source bashrc, we're called by cron
     7 . ~/.bashrc
     8 
     9 # canoncical home for all platforms
    10 HOME=/home/stud/isatest
    11 
    12 ## send email on failure to
    13 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"
    14 
    15 LOGPREFIX=$HOME/log
    16 MASTERLOG=$LOGPREFIX/isatest.log
    17 
    18 ERRORDIR=$HOME/var
    19 ERRORLOG=$ERRORDIR/error.log
    20 
    21 RUNNING=$HOME/var/running
    22 
    23 DISTPREFIX=$HOME/tmp/isadist