#! /bin/bash
# Last edited on 2023-01-22 03:17:15 by stolfi

( cd pgm-512x512 && ls *.pgm ) \
  | sed -e 's:[.]pgm$::g' \
  | sort \
  > .aaa
  
( cd ppm-400x400 && ls *.ppm ) \
  | sed -e 's:[.]ppm$::g' \
  | sort \
  > .bbb
  
bool 1-2 .aaa .bbb > .ccc  

for f in `cat .ccc` ; do
  if [[ ! ( "/$f" =~ /wavys-* ) ]]; then
    echo $f
    cat pgm-512x512/$f.pgm | pnmscale -xsize 256 | pgmnorm -bpercent 0 -wpercent 2 | pnmdepth 255 > pgm-256x256/$f.pgm
    cat pgm-512x512/$f.pgm | pnmscale -xsize 128 | pgmnorm -bpercent 0 -wpercent 2 | pnmdepth 255 > pgm-128x128/$f.pgm
  fi
done