src/be/nikiroo/fanfix_swing/images/convert.sh

   1 #!/bin/bash
   2
   3 if [ "$1" = "" ]; then
   4         echo Syntax: "$0 file1.png file2.png..." >&2
   5         exit 1
   6 fi
   7
   8 while [ "$1" != "" ]; do
   9         name="`basename "$1" .png`"
  10         for S in 8 16 24 32 64; do
  11                 convert -resize ${S}x${S} "$name".png "$name"-${S}x${S}.png
  12         done
  13         shift
  14 done
  15