Recommendations for good shell utility to resize JPGs?

Not sure if this is the right place to be posting this. If not, let me know where it fits. I am running RedHat Linux 8.0. I've recently acquired a Sony Mavica digital camera. In short, this thing is awesome (uses cd-rw!). I have been taking high quality images, but I now have the need to try and resize images in a batch process. I can do this manually in GIMP, but that would be time consuming. Since I am dealing with JPEGs of a fixed and proportional size, I would like to be able to just run a bash script that calls a utility to resize the images to 800x600 in a batch. Does anyone have any suggestions?

Thanks,
Deck

I'm not sure, but try and see if convert(1) will do the trick for you.

Thanks! I believe that will work for what I need.