This file is indexed.

/usr/bin/ggthumb is in geogebra-gnome 4.0.34.0+dfsg1-3.

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"