bin/jgf2+


1
2
3
4
5
6
7
8
9
10
11
12

#! /bin/sh

# change the value of GFHOME to the directory where you have the gf binary
GFHOME=/home/aarne/GF2/bin
       # /.../chalmers.se/fs/cab/cs/.users/markus/home/GF1

JGUILIB=$GFHOME/java/
GF=$GFHOME/gf2+
JGUI=GFEditor2

java -cp $JGUILIB $JGUI "$GF -java -new $*"