# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1586540730 -3600
# Node ID 5de261eb0debf6b77aa94a461ffa5ff8fb32f9da
# Parent  18f8bcc779e87895e732f7233512059ee3636b47
another few log fixes

diff -r 18f8bcc779e8 -r 5de261eb0deb bin/preExtract.sh
--- a/bin/preExtract.sh	Fri Apr 10 18:42:08 2020 +0100
+++ b/bin/preExtract.sh	Fri Apr 10 18:45:30 2020 +0100
@@ -70,7 +70,7 @@
 	    ii+=("*-00${i}_*")
 	    echo "  " "$i" "${ii[@]}" ${#ii[@]} >> log
 	 done
-        echo " " extractions done
+        echo " " extractions done >> log
 	# now compare ls vs. tar
 	echo " " "${ii[@]}"  ${#ii[@]} >> log
 	echo " " lff "${lff[@]}" >> log
@@ -79,7 +79,7 @@
 	    - <(sort -k2.1,2.36 -k2.38,2n $lsf) > ${e}_diff.txt
         if [ -s ${e}_diff.txt ]
         then
-          echo " " checking...
+          echo " " checking... >> log
 	  cut -f 1 -d " " ${e}_diff.txt | sus > ${e}_check.txt
 	  ni=${#ii[@]}
 	  if [ $(wc -l < ${e}_check.txt) -ne $((ni + 1)) ]
@@ -99,7 +99,7 @@
 	      cd ..
 	      continue
 	  fi
-          echo " " starting tar update
+          echo " " starting tar update >> log
 	  egrep "^> " ${e}_diff.txt | cut -f 2 > ${e}_new.txt
 	  tar --delete -f ${h}/${s}/extract_${e}.tar "${lff[@]}"
 	  tar --append -f ${h}/${s}/extract_${e}.tar --files-from=${e}_new.txt "${lff[@]}"