equal
deleted
inserted
replaced
5 |
5 |
6 # source bashrc, we're called by cron |
6 # source bashrc, we're called by cron |
7 . ~/.bashrc |
7 . ~/.bashrc |
8 |
8 |
9 # canoncical home for all platforms |
9 # canoncical home for all platforms |
10 HOME=/home/stud/isatest |
10 HOME=/usr/stud/isatest |
11 |
11 |
12 ## send email on failure to |
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" |
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 |
14 |
15 LOGPREFIX=$HOME/log |
15 LOGPREFIX=$HOME/log |