/usr/bin/ggthumb is in geogebra-gnome 4.0.34.0+dfsg1-4.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | #!/bin/bash
# Use: ggthumb input_file output_file size
if [ "$#" -ne "3" ] ; then
echo "Usage: ggthumb input_file output_file size"
exit 1
fi
INPUT_FILE="$1"
OUTPUT_FILE="$2"
SIZE="$3"
TEMPDIR="`mktemp -d`"
unzip -qq "$INPUT_FILE" -d "$TEMPDIR"
convert -resize "$SIZE" "$TEMPDIR/geogebra_thumbnail.png" "$OUTPUT_FILE"
rm -fr "$TEMPDIR"
|