#!/bin/sh

for name in io_*.gif ; do
  jpg=`echo $name | awk 'BEGIN{FS=".";}{s=$1; for(i=2;i<=NF-1;i++){s=s "." $i;} print s;}'`
  convert "$name" -crop 128x128+145+15 -quality 95 $jpg.jpg
done

