You can resize images at the command line with Image Magick. First, install it:

sudo apt install imagemagick

Then convert:

convert original.png -resize 100x100 new.png

Works great! For more basic use cases, see this article at Digital Ocean.