diff options
| -rwxr-xr-x | tools/create-screenshot-for-doc | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/tools/create-screenshot-for-doc b/tools/create-screenshot-for-doc new file mode 100755 index 0000000..4175fbe --- /dev/null +++ b/tools/create-screenshot-for-doc @@ -0,0 +1,32 @@ +#!/bin/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" |