You can take advantage of Bash and ImageMagick to quickly do processing of many images.

for file in *.jpg; do convert $file -resize 1000 resized-$file; done

But it could be even easier using the command mogrify from the same library:

HOW TO RESIZE MULTIPLE IMAGES AT ONCE