#! /bin/bash -eu
# Last edited on 2025-10-29 11:10:09 by stolfi

# Get the size of the givenimage file and write it to stdout:

imfile="$1"; 
convert \
  ${imfile} \
  -print "size=( %[fx:w] %[fx:h] )\n" \
   null: \