diff 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
line wrap: on
line diff
--- a/bin/plinks.sh	Mon Feb 24 12:16:10 2020 +0000
+++ b/bin/plinks.sh	Tue Feb 25 10:34:41 2020 +0000
@@ -4,5 +4,5 @@
 h=$(hostname)
 hn=${h##*n}
 if [ $hn -eq 0 ]; then echo {005..008}; else echo {009..012}; fi |\
-tr ' ' '\012' |parallel --will-cite -j 4 -N 1 doPlinks.sh ${hn} '{#}' '{}'
+tr ' ' '\012' |parallel --will-cite -n 1 doPlinks.sh ${hn} '{#}' '{}'
 echo $(date) $(hostname) $?