blob: 95c411b133d1dc1d11b5291def69481b119df8bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#! /bin/sh
# change the value of GFHOME to the directory where you have the gf binary
GFHOME=/home/aarne/GF/bin
JGUILIB=$GFHOME/java/
GF=$GFHOME/gf2
JGUI=GFEditor2
java -cp $JGUILIB $JGUI "$GF -java $*"
|