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.