Admin/isatest-check
changeset 15937 b74dfcdeac1b
parent 15897 86d510b0e4b7
child 16095 f6af6b265d20
equal deleted inserted replaced
15936:817ac93ee786 15937:b74dfcdeac1b
    14 shopt -s nullglob
    14 shopt -s nullglob
    15 
    15 
    16 ## global settings
    16 ## global settings
    17 
    17 
    18 # send mail to:
    18 # send mail to:
    19 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"
    19 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"
    20 
    20 
    21 ADMIN="berghofe@in.tum.de"
    21 ADMIN="berghofe@in.tum.de"
    22 
    22 
    23 # canoncical home for all platforms
    23 # canoncical home for all platforms
    24 HOME=/usr/stud/isatest
    24 HOME=/usr/stud/isatest