isabelle: Admin/isatest/isatest-settings@f35858c831e5 (annotated)

31310 b5365a9db718 uniform treatment of shellscript mode; wenzelm parents: 29926 diff changeset	1	# -- shell-script -- :mode=shellscript:
31582 4753c317d5c1 eliminated cvs ids; wenzelm parents: 31310 diff changeset	2	#
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	3	# Author: Gerwin Klein, NICTA
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	4	#
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	5	# DESCRIPTION: common settings for the isatest-* scripts
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	6
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	7	# source bashrc, we're called by cron
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	8	. ~/.bashrc
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	9
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	10	# canoncical home for all platforms
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	11	HOME=/home/isatest
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	12
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	13	## send email on failure to
38250 b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	14	MAILTO="\
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	15	kleing@cse.unsw.edu.au \
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	16	nipkow@in.tum.de \
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	17	berghofe@in.tum.de \
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	18	lp15@cam.ac.uk \
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	19	makarius@sketis.net \
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	20	blanchet@in.tum.de \
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	21	boehmes@in.tum.de \
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	22	bulwahn@in.tum.de \
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	23	hoelzl@in.tum.de \
b32a44361186 added Lars Noschinski to isatest report haftmann parents: 37834 diff changeset	24	krauss@in.tum.de \
47103 187cac088582 more isatest subscribers; wenzelm parents: 45908 diff changeset	25	noschinl@in.tum.de \
47309 9d02327ede56 added me to isatest email list sultana parents: 47214 diff changeset	26	kuncar@in.tum.de \
58440 07505e95db40 subscribe for isatest traytel parents: 48157 diff changeset	27	ns441@cam.ac.uk \
07505e95db40 subscribe for isatest traytel parents: 48157 diff changeset	28	traytel@in.tum.de"
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	29
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	30	LOGPREFIX=$HOME/log
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	31	MASTERLOG=$LOGPREFIX/isatest.log
60763 b8170925c848 avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes; wenzelm parents: 58440 diff changeset	32	LOGSERVER=lxbroy10.informatik.tu-muenchen.de
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	33
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	34	ERRORDIR=$HOME/var
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	35	ERRORLOG=$ERRORDIR/error.log
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	36
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	37	RUNNING=$HOME/var/running
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	38
28567 3caee0cd91d8 change DISTPREFIX to not use yet another filesystem kleing parents: 28539 diff changeset	39	DISTPREFIX=$HOME/isadist
28539 bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	40
45908 143d2514347f enforce short hostname on all platforms (especially macbroy2); wenzelm parents: 45253 diff changeset	41	HOSTNAME="$(hostname -s)"
143d2514347f enforce short hostname on all platforms (especially macbroy2); wenzelm parents: 45253 diff changeset	42
28539 bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	43	# this function avoids NFS inconsistencies with multiple writers by
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	44	# sshing to one central machine and writing locally. There is stil a
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	45	# race condition, but at least it should not corrupt a whole set of entries
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	46	# any more.
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	47	function log()
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	48	{
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	49	MSG="$1"
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	50	TIMESTAMP="$(date)"
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as kleing parents: 24782 diff changeset	51	echo "[$TIMESTAMP $HOSTNAME $PRG]: $MSG" \| ssh $LOGSERVER "cat >> $MASTERLOG"
28567 3caee0cd91d8 change DISTPREFIX to not use yet another filesystem kleing parents: 28539 diff changeset	52	}

author	wenzelm
	Sat, 12 Mar 2016 20:17:37 +0100
changeset 62599	f35858c831e5
parent 60763	b8170925c848
permissions	-rw-r--r--