#!/bin/csh

echo converting $1 from a 24x24 image to a centered 32x32 image.


convert -bordercolor \#123456 -border 4x4 $1  /tmp/$1
cat /tmp/$1 | sed "s/c None/c #123456/" | xpmtoppm | pnmtopng -transparent "#123456" > `basename $1 .xpm`.png