cronjob.sh revision 020e523c8e869bbd2dd19af560a32a2a9b6f6370
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive#!/bin/bash -x
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivePATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/Isabelle/Isabelle2013/bin:/home/linux-bkb/bin
5f5d1b4cc970b7f06ff8ef6526128e9a27303d88ndUDG_HOME=/home/linux-bkb/uDrawGraph-3.1
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3sliveHETS_LIB=/local/home/maeder/haskell/Hets-lib
1aa933455fcd538b1ee573f4566e1a78a89fce77nd
db479b48bd4d75423ed4a45e15b75089d1a8ad72fieldingexport PATH
db479b48bd4d75423ed4a45e15b75089d1a8ad72fieldingexport HETS_LIB
db479b48bd4d75423ed4a45e15b75089d1a8ad72fieldingexport CASL_LIB=$HETS_LIB
db479b48bd4d75423ed4a45e15b75089d1a8ad72fielding
db479b48bd4d75423ed4a45e15b75089d1a8ad72fieldingcd /tmp
db479b48bd4d75423ed4a45e15b75089d1a8ad72fielding\rm -f eprover* formalDescription* tstp*
1aa933455fcd538b1ee573f4566e1a78a89fce77ndcd /local/home/maeder/haskell
1aa933455fcd538b1ee573f4566e1a78a89fce77nd. ../cronjob.sh
1aa933455fcd538b1ee573f4566e1a78a89fce77nd
1aa933455fcd538b1ee573f4566e1a78a89fce77nd#ssh bigmac /Users/Shared/maeder/haskell/job.sh &
1aa933455fcd538b1ee573f4566e1a78a89fce77ndssh a01 /Users/Shared/maeder/haskell/job.sh &
1aa933455fcd538b1ee573f4566e1a78a89fce77nd
1aa933455fcd538b1ee573f4566e1a78a89fce77ndmakeHets
1aa933455fcd538b1ee573f4566e1a78a89fce77nd
1aa933455fcd538b1ee573f4566e1a78a89fce77nd#ssh bigmac date
1aa933455fcd538b1ee573f4566e1a78a89fce77nd
7db9f691a00ead175b03335457ca296a33ddf31bndmakeLibCheck
3577f1d38e53397f6b431c02011f875316b2f070ndinstallHetsBinary linux
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivechgrp linuxbkb hets
7946ba46eb606490ae263e099e13313b56ef68e4erikabele\cp -fp hets /home/linux-bkb/hets/hets-latest/bin/
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivecopyStyForCgi
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivelatexBasicLibraries
d40245991835767528e0dcd234f176aef45bc038erikabelecreateLogFiles
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3sliverunIsaBasic
d40245991835767528e0dcd234f176aef45bc038erikabelerunSPASSBasic
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivecheckIsaOf Calculi/Time/AllenHayesLadkin_TACAS.het HC
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivecheckIsaOf Calculi/Space/RCCVerification.het HC2
d40245991835767528e0dcd234f176aef45bc038erikabele
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivecheckBins
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivecheckCats
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivemakeSources
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivecheckMoreBins
d40245991835767528e0dcd234f176aef45bc038erikabelemakeOWLTools
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3sliverunIsaHS
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivemakeCofiLib
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3sliverepackDocs
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivemoreChecks
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivecheckEnvs
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivecheckPrfs
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivedate
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive#updateOMDoc
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive#cd /home/linux-bkb/twelf/twelf-mod
10d138ec146ac89447f231e9cc02c2ea434f08c4rbowen#svn up --force
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive#sml build/twelf-server-smlnj.sml
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive