Definitely get imagemagick. I had a chance to dig into it 2 weeks ago for a project I'm working on, so I have some info handy.
Download link
Here's a simple shell script I wrote to resize every jpeg in a folder
#!/bin/sh
for image in `ls *.JPG`
do
/usr/local/bin/convert -interlace none -quality 90 -thumbnail 600X800 $image 'th_'$image
done
edit as needed.
the .JPG part above is case sensitive. Adjust the with and height, etc..
-quality can be whatever you want 1-100
-thumbnail strips out the extra info you don't need for the internet like preview images and meta info. - some of which crash IE on win.
-interlace none added for IE win safety as well.
it can do a lot more - basically it's a command line photoshop.
full docs:
http://www.imagemagick.org/www/utilities.html
there's probly a 'make smaller only' flag to do what you want. You can also set a width only and the height will be proportional, etc.
this script needs to be in the same folder as the pix.
save it as resize_graphics.sh
you need to set it to be executable:
chmod 755 resize_graphics.sh
run it like this:
cd /path/to folder
./resize_graphics.sh
If the pix are big you may need to be patient.
Have fun