diff --git a/dev/xpmtopng b/dev/xpmtopng new file mode 100644 index 000000000..276578e68 --- /dev/null +++ b/dev/xpmtopng @@ -0,0 +1,9 @@ +#!/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 + +