#!/bin/bash
id=$1
home=$2
pause=$3
log=$4
shift 4
echo \#.$id fetch $(echo "$@" | wc -w) >> $log
until ssh $home "xargs gzip -c" "$@"  | gunzip -c > /var/data/d${id}.x 
 do
  echo retrying 1>&2
  sleep $pause
done
echo \# # put a group mark in for timing purposes further down the line
cat /var/data/d${id}.x | tee >(echo \#.$id fetched $(wc -l) >> $log)

