jEdit Community home jEdit Community Wiki > Main > ImprovingJeditLauncher (r1.45 vs. r1.46) jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox
Main . { Whats New | Users | Groups | Changes | Index | Search | Go }
 <<O>>  Difference Topic ImprovingJeditLauncher (r1.46 - 22 Jul 2004 - Martin Fischbach)
Changed:
<
<

Planned options for jedit launcher

>
>

Old options of John Gellene's jedit launcher

First, doc is available at

http://cvs.sourceforge.net/viewcvs.py/*checkout*/jedit/jeditshell/html/launcher-guide.html?rev=1.10

-h opens help screen
-p open GUI to setup JRE Directory, path to jedit.jar and startup options
-i $java_jre_dir install jedit launcher
$java_jre_dir is the dir where Java Runtime Environment resides
see http://cvs.sourceforge.net/viewcvs.py/jedit/jEdit/installer/OperatingSystem.java?rev=1.18&view=markup
-u uninstall jedit launcher

Planned options for Martin Fischbach's jedit launcher

Changed:
<
<

Possible options for jedit

>
>

Possible options for jedit


Topic ImprovingJeditLauncher . { View | Diffs | r1.46 | > | r1.45 | > | r1.44 | More }
Revision r1.45 - 19 Jul 2004 - 12:09 GMT - Martin Fischbach
Revision r1.46 - 22 Jul 2004 - 09:49 GMT - Martin Fischbach
Copyright © 1999-2011 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.
Get jEdit at !SourceForge.net. Fast, secure and Free Open Source software downloads