# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1586540528 -3600
# Node ID 18f8bcc779e87895e732f7233512059ee3636b47
# Parent  307e0c44925afa4f51cd3b86e3675181bf61dc50
as running, modulo 1 log output wrong

diff -r 307e0c44925a -r 18f8bcc779e8 bin/preExtract.sh
--- a/bin/preExtract.sh	Fri Apr 10 18:22:48 2020 +0100
+++ b/bin/preExtract.sh	Fri Apr 10 18:42:08 2020 +0100
@@ -59,7 +59,7 @@
 	    lff+=("${lf}") # accumulate list of log files
             if [ -s $lf ]
             then
-              echo "  " $lf empty, skipping >> log
+              echo "  " $lf not empty, skipping extraction >> log
             else
               echo "  " extracting from $id >> log
 	      echo starting ${id} $(date) > $lf
@@ -84,8 +84,8 @@
 	  ni=${#ii[@]}
 	  if [ $(wc -l < ${e}_check.txt) -ne $((ni + 1)) ]
 	  then
-              if [[ "$(tr -s '\n\t ' ' ' < ${e}_check.txt)" =~ \
-           ^' '[0-9]*' > 1 < 1 --- 1 '[0-9]*c[0-9]*' 1 '[0-9]*'a'[0-9,]*' '$ ]]
+              if [[ "$(tr -s "\n\t " " " < ${e}_check.txt)" =~ \
+           ^" "[0-9]*" > 1 < 1 --- 1 "[0-9]*c[0-9]*" 1 "[0-9]*"a"[0-9,]*" "$ ]]
               then
                :
               else