But it's easy to create a shell script:
#!/bin/shSince I had images ending with .JPG extension in capital letters, I added a second loop:
mkdir -p small
for i in *.jpg; do
convert $i -resize 1000x small/$(basename $i .jpg).jpg;
for i in *.JPG; do
convert $i -resize 1000x small/$(basename $i .JPG).jpg;
Inspired by this question on stack overflow, and the mkdir complain corrected by looking at this question.