annotate bin/plinks.sh @ 9:7a93e190c74d

logging tweaks, preparing for timeout on problem pdfs
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 25 Feb 2020 10:34:41 +0000
parents 3b56c2c9d0ee
children a33db8e3f51c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
65a56c0d1c1f bolting the barn door...
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
1 #!/usr/bin/bash
65a56c0d1c1f bolting the barn door...
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
2 mkdir -p $TMPDIR
65a56c0d1c1f bolting the barn door...
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
3 echo $(date) $(hostname)
65a56c0d1c1f bolting the barn door...
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
4 h=$(hostname)
65a56c0d1c1f bolting the barn door...
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
5 hn=${h##*n}
8
3b56c2c9d0ee longer run, terser logging
Henry S. Thompson <ht@inf.ed.ac.uk>
parents: 7
diff changeset
6 if [ $hn -eq 0 ]; then echo {005..008}; else echo {009..012}; fi |\
9
7a93e190c74d logging tweaks, preparing for timeout on problem pdfs
Henry S. Thompson <ht@inf.ed.ac.uk>
parents: 8
diff changeset
7 tr ' ' '\012' |parallel --will-cite -n 1 doPlinks.sh ${hn} '{#}' '{}'
7
25ca3505b4d7 more logging
Henry S. Thompson <ht@inf.ed.ac.uk>
parents: 6
diff changeset
8 echo $(date) $(hostname) $?