1
0
forked from GitHub/gf-core
Files
gf-core/bin/jgf
2005-04-28 15:42:47 +00:00

12 lines
212 B
Bash

#! /bin/sh
# change the value of GFHOME to the directory where you have the gf binary
GFHOME=/home/aarne/GF
JGUILIB=$GFHOME/src/JavaGUI
GF=$GFHOME/bin/gf
JGUI=GFEditor2
java -cp $JGUILIB $JGUI "$GF -java $*"