From 6693b50c9da76b66e958e85a789737bfc1f8f1cf Mon Sep 17 00:00:00 2001
From: hdaniels <unknown>
Date: Tue, 21 Jun 2005 18:40:22 +0000
Subject: added daniels' version of the Java editor

---
 src/gfeditor.in | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 src/gfeditor.in

(limited to 'src/gfeditor.in')

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}
-- 
cgit v1.2.3