diff bin/doPlinks.sh @ 0:65a56c0d1c1f

bolting the barn door...
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 18 Feb 2020 13:15:05 +0000
parents
children a4b0359456bc
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/doPlinks.sh	Tue Feb 18 13:15:05 2020 +0000
@@ -0,0 +1,15 @@
+#!/usr/bin/bash
+me=$1
+mine=0
+mkdir /dev/shm/x
+while read f
+do
+    if plinks.py $f > /dev/shm/x/links_${me}_${mine} 2>/dev/null
+    then
+	((mine+=1))
+    else
+	echo $f >> /dev/shm/x/badpdfs_$me
+	rm -f /dev/shm/x/links_${me}_${mine}
+    fi
+done
+rsync -a /dev/shm/x/ links