I used to use
imagemagick for resizing in the command line, but
imageworsener has a much cleaner syntax. Use this to resize the height all
pngs to 33 pixels:
for i in $( ls *.png); do imagew -height 33 $i re_$i; done
If you’re on Mac OS X, you can install
imageworsener through Homebrew.