#! /bin/bash -e
# Last edited on 2025-07-13 07:12:55 by stolfi

stain="$1"; shift
beg="$1"; shift
end="$1"; shift
xsize="$1"; shift
ysize="$1"; shift
xshift="$1"; shift
yshift="$1"; shift

tmp="/tmp/$$"

mkdir -p images/clipped/${stain}

cmdlist="${tmp}-list.txt"

cat clip-list.txt \
  | make_stain_clipping_commands.gawk \
      -i error_funcs.gawk \
      -v stain="${stain}" \
      -v beg=${beg}       -v end=${end} \
      -v xsize=${xsize}   -v ysize=${ysize} \
      -v xshift=${xshift} -v yshift=${yshift} \
  > ${cmdlist}

cat ${cmdlist}
source ${cmdlist}