This file is indexed.

/usr/share/mkgmapgui/mkgmapgui.sh is in mkgmapgui 1.1.ds-2.

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
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
#!/bin/sh
# Simple wrapper script used to start mkgmapgui in Debian
set -e

# First, the alternative (if known to work) or users preference as defined by $JAVA_HOME. Next, use OpenJDK or Sun's proprietary JDK.
# Override to a specific one using $JAVACMD
ALTERNATIVE_JDK="`readlink -n -f /etc/alternatives/java`"

# Let's get the current architecture -- needed for multiarchified Java
ARCH="`dpkg --print-architecture`"

# If OpenJDK is only available headless, do not try it
if dpkg --get-selections 'openjdk-*-jre' | grep install$ > /dev/null ; then
   JAVA_CMDS="$JAVA_HOME/bin/java /usr/lib/jvm/java-7-openjdk-$ARCH/bin/java /usr/lib/jvm/java-6-openjdk/bin/java /usr/lib/jvm/java-6-openjdk-$ARCH/bin/java /usr/lib/jvm/java-6-sun/bin/java"
else
   JAVA_CMDS="$JAVA_HOME/bin/java /usr/lib/jvm/java-6-sun/bin/java"
fi

JAVA_OPTS="$JAVA_OPTS -Xmx512M"

for jcmd in $JAVA_CMDS; do
   if [ "z$ALTERNATIVE_JDK" = "z`readlink -n -f $jcmd`" ] && [ -z "${JAVACMD}" ]; then
      JAVACMD="$jcmd"
   fi
done

for jcmd in $JAVA_CMDS; do
   if [ -x "$jcmd" -a -z "${JAVACMD}" ]; then
      JAVACMD="$jcmd"
   fi
done

if [ "$JAVACMD" ]; then
   echo "Using $JAVACMD to execute mkgmapgui."
   exec $JAVACMD $JAVA_OPTS -jar /usr/share/mkgmapgui/mkgmapgui.jar /usr/share/mkgmap/mkgmap.jar
else
   echo "No valid JVM found to run mkgmapgui."
   exit 1
fi