This file is indexed.

/usr/bin/mvn-debian is in maven-debian-helper 1.6.9.

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
#!/bin/sh

# This is an example script that allows running maven on the command
# line in a similar way as our cdbs snippets work. Production use is
# not supported by the maintainer of maven-debian-helper.

DEB_CLASSPATH=/usr/share/java/classworlds.jar
JAVA_OPTS=-Dclassworlds.conf=/etc/maven2/m2-debian.conf
MAIN_CLASS=org.codehaus.classworlds.Launcher
MAVEN_OPTS=-s/etc/maven2/settings-debian.xml

TMP_DIR=$(mktemp -d ${TMP:-/tmp}/mvn-deb.XXXXXXXXXX)
/usr/share/maven-debian-helper/copy-repo.sh $TMP_DIR
MAVEN_REPO=$TMP_DIR/maven-repo
MAVEN_OPTS="$MAVEN_OPTS -Dmaven.repo.local=$MAVEN_REPO"

AUTO_PROPS=$TMP_DIR/auto.properties
JAVA_OPTS="$JAVA_OPTS -Dproperties.file.auto=$AUTO_PROPS"
MAVEN_OPTS="$MAVEN_OPTS -Ddebian.dir=$PWD/debian"

if [ -r debian/control ]; then
  JAR_PACKAGE=$(dh_listpackages | head -1)
  MAVEN_OPTS="$MAVEN_OPTS -Ddebian.package=$JAR_PACKAGE"
fi

java -noverify -cp $DEB_CLASSPATH $JAVA_OPTS $MAIN_CLASS "$@" $MAVEN_OPTS

rm -rf $TMP_DIR