Post History

Here goes nothing. An Internet search shows an answer on [AskUbuntu#1164](https://askubuntu.com/questions/1164/how-to-easily-resize-images-via-command-line/13825#13825), author aneesheep.

The gist is to install ImageMagick (try package name `imagemagick`) and then use the `convert` utility:

    convert -resize 20% image_small.png image.png

You can write a wrapper script that subscribes to your preferred options.