echo -- processing $1.jgr -- echo y | rm $1.ps # remove the old one jgraph -P $1.jgr > $1.ps # parse .jgr and create .ps ps2pdf $1.ps $1.ps.pdf # .ps -> .pdf echo -- done --...or get it from here.
Save it as 'script' and then type the following...
chmod u+x scriptYou can use this script by typing
script filenamewhere filename is the name of your .jgr file. Note: you don't have to add .jgr to the name of the file; the script will do it for you.
Type the following to get more information about jgraph:
man jgraph