diff options
| author | aarne <unknown> | 2004-08-10 08:17:03 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-10 08:17:03 +0000 |
| commit | 9650864b06bbc90c5e2f64c36cf0c67c68300af5 (patch) | |
| tree | 12c33c7d75d7228695001d33085de6bc17d55bab /bin/jgf | |
| parent | 9d07bd92a87705a61d23e44cdbd659f08b055de5 (diff) | |
the name gf2
Diffstat (limited to 'bin/jgf')
| -rw-r--r-- | bin/jgf | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bin/jgf b/bin/jgf new file mode 100644 index 000000000..c4911446f --- /dev/null +++ b/bin/jgf @@ -0,0 +1,11 @@ +#! /bin/sh + +# change the value of GFHOME to the directory where you have the gf binary +GFHOME=/home/aarne/GF2/bin + +JGUILIB=$GFHOME/java/ +GF=$GFHOME/gf +JGUI=GFEditor2 + +java -cp $JGUILIB $JGUI "$GF -java $*" + |