diff options
Diffstat (limited to 'src/gfeditor.in')
| -rw-r--r-- | src/gfeditor.in | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/src/gfeditor.in b/src/gfeditor.in new file mode 100644 index 000000000..9a390195b --- /dev/null +++ b/src/gfeditor.in @@ -0,0 +1,39 @@ +#!/bin/sh + +prefix=@prefix@ +exec_prefix=@exec_prefix@ +GF_BIN_DIR=@bindir@ +GF_DATA_DIR=@datadir@/GF-@PACKAGE_VERSION@ + +JAVA="@JAVA@" + +GF=$GF_BIN_DIR/gf +JARFILE=$GF_DATA_DIR/gfeditor.jar + +if [ ! -x "${JAVA}" ]; then + JAVA=`which java` +fi + +if [ ! -x "${JAVA}" ]; then + echo "No Java VM found" + exit 1 +fi + +if [ ! -f "${JARFILE}" ]; then + echo "JAR file ${JARFILE} not found" + exit 1 +fi + +if [ ! -x "${GF}" ]; then + GF=`which gf` +fi + +if [ ! -x "${GF}" ]; then + echo "gf not found" + exit 1 +fi + +COMMAND= ${JAVA} -jar ${JARFILE} -g $GF $* + +echo ${COMMAND} +exec ${COMMAND} |
