src/gfeditor.in


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
29
30
31
32
33
34
35
36
37
38
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}