Paul Austin wrote: Hi,
> I have made some changes in the attached file that will allow users to > customize the settings by creating a ~/.jump/openjump.profile where they > can add additional JAVA_OPTS and generally change settings. That's a good idea. > The script also uses basename on the command so you don't have to deal > with setting JUMP_HOME as it gets it for you (this is different from the > wrapper script I created in the desktop email) Would you check it in, if nobody has any more changes? I'm out of office until next monday ;-) Best regards, Andreas -- l a t / l o n GmbH Aennchenstrasse 19 53177 Bonn, Germany phone ++49 +228 18496-11 fax ++49 +228 1849629 http://www.lat-lon.de http://www.deegree.org ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
