Občas si stáhnu z telefonu obrázek a chci ho zmenšit (např. abych ho publikoval na internet). Používám k tomu program convert:

convert IMG_20171203_183931.jpg -resize 800x600 zmenseny.jpg

nebo

convert '*.jpg[800x]' resized%03d.jpg

Program je součástí balíčku ImageMagick.