On Wed, 2007-10-17 at 05:47 +0200, Peter Rossbach wrote: > Hi Remy, > > I think the patch is incomplete > > this line seem not correct: > > + else > + JRE_HOME=/usr > + fi > > better > + else > + JRE_HOME=/usr/bin/java > + fi
The path to the Java executable is $JRE_HOME/bin/java, so /usr is the correct value. However, on older distributions (just tested with my F7), it will also pick up gij if it is installed (it does not really work). Rémy --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]