jdiff/jdiff-script
2020-09-02 10:47:28 +08:00

31 lines
529 B
Bash

#!/bin/sh
# jdiff script by gil
# Source functions library
. /usr/share/java-utils/java-functions
# Source system prefs
if [ -f /etc/java/jdiff.conf ] ; then
. /etc/java/jdiff.conf
fi
# Source user prefs
if [ -f $HOME/.jdiffrc ] ; then
. $HOME/.jdiffrc
fi
# Configuration
MAIN_CLASS="jdiff.JDiff"
BASE_FLAGS=
BASE_OPTIONS=
BASE_JARS="jdiff xerces-j2 ant.jar ant-launcher.jar ../jvm/java/lib/tools"
# Set parameters
set_jvm
set_classpath $BASE_JARS
set_flags $BASE_FLAGS
set_options $BASE_OPTIONS
# Let's start
run "$@"