equal
deleted
inserted
replaced
6 |
6 |
7 # source bashrc, we're called by cron |
7 # source bashrc, we're called by cron |
8 . ~/.bashrc |
8 . ~/.bashrc |
9 |
9 |
10 # canoncical home for all platforms |
10 # canoncical home for all platforms |
11 HOME=/usr/stud/isatest |
11 HOME=/home/isatest |
12 |
12 |
13 ## send email on failure to |
13 ## send email on failure to |
14 MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de" |
14 MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de" |
15 |
15 |
16 LOGPREFIX=$HOME/log |
16 LOGPREFIX=$HOME/log |