view tools/create-screenshot-for-doc @ 3678:3858aa1d5ef8

glpk: update to v4.54 * src/glpk.mk: update version * src/gplk-1-fixes.patch: update patch
author John Donoghue
date Tue, 05 Aug 2014 07:32:21 -0400
parents 14b3f5ea78ae
children
line wrap: on
line source

#!/usr/bin/env bash
set -eu

if [ "$#" -ne 2 ]; then
    echo
    echo "Syntax: $0 [IMAGE.png] [NAME]"
    echo
    echo 'IMAGE.png -> screenshot-NAME.png + screenshot-NAME-small.png'
    echo
    exit 1
fi

set -v

IMAGE_FILE="$1"
NAME="$2"

cat "$IMAGE_FILE" \
| pngtopnm \
| pnmtopng -compression 9 \
> "screenshot-$NAME.png"

cat "screenshot-$NAME.png" \
| pngtopnm \
| pnmscale -ysize 128 \
> "screenshot-$NAME-small.pnm"

pnmquant 256 "screenshot-$NAME-small.pnm" \
| pnmtopng -compression 9 \
> "screenshot-$NAME-small.png"

rm -f "screenshot-$NAME-small.pnm"