added daniels' version of the Java editor

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}