diff options
Diffstat (limited to 'tools/scale.sh')
| -rw-r--r-- | tools/scale.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/scale.sh b/tools/scale.sh new file mode 100644 index 0000000..a54d41e --- /dev/null +++ b/tools/scale.sh @@ -0,0 +1,18 @@ +mkdir -p output75 +mkdir -p output150 +for F in output300/*.png +do + echo $F + + O=${F/300/75} + gm convert $F -colorspace RGB -resize 25% -colorspace sRGB $O.tmp + rm -f $O + zopflipng -m $O.tmp $O + rm -f $O.tmp + + O=${F/300/150} + gm convert $F -colorspace RGB -resize 50% -colorspace sRGB $O.tmp + rm -f $O + zopflipng -m $O.tmp $O + rm -f $O.tmp +done |