Brian Gaynor wrote:
-----Original Message-----
I downloaded the JRE from <http://www.java.com/> and it nicely created a directory j2re1.4.2_04. now i've downloaded jedit41install.jar from <http://www.sourceforge.net> and can't figure what to do with it.
As I recall what you want is:
java -Djava.compiler=none -jar jedit41install.jar
Note that there is no space between the -D and java.compiler=none. Accept the defaults for the install (/usr/local/share/jedit) and, as long the java executable is in your path, you're all set.
Brian (another happy jedit user)
There is also a rpm file for the install on jedit.org download page. adam
