#! /bin/bash -e
# Last edited on 2025-08-06 05:48:43 by stolfi

# convert full.tif -crop '1000x2200+900+1645' crop.tif
# display -title '%f' crop.tif
../../convert_tiff_to_pgm.py crop.tif > crop.pgm
identify crop.pgm
display crop.pgm
convert crop.pgm -colorspace LinearGray PNG:crop.png
identify crop.png
display crop.png