#! /bin/bash -ue
# Last edited on 2025-05-04 22:43:33 by stolfi

cmd="${0##*/}"
usage="${cmd} {SIDFILE}"

if [[ $# -eq 1 ]]; then 
  sidf="$1"; shift;
else
  echo "usage: ${usage}" 1>&2; exit 1
fi

if [[ ! -f ${sidf} ]]; then
  echo "${sidf} not found or not a file" 1>&2; exit 1
fi

# pkg=${STOLFIHOME}/pkg/mrsiddecode-2004-07-07
# prog=mrsiddecode

pkg=${STOLFIHOME}/pkg/MrSIDinfo-2006-06-1
prog=mrsidgeoinfo

${pkg}/${prog} -input ${sidf}