[ jEdit-devel ] [jedit:feature-requests] #526 Java launcher should be updated so that jre can be specified

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:feature-requests] #526 Java launcher should be updated so that jre can be specified

Edward Diener-4

[feature-requests:#526] Java launcher should be updated so that jre can be specified

Status: open
Group: v5.4
Created: Sun Oct 30, 2016 12:16 PM UTC by Edward Diener
Last Updated: Sun Oct 30, 2016 12:16 PM UTC
Owner: nobody

On Windows you should be able to tell the jedit launcher which version of the java jre should be used. This should be a command line option or an option you can put in the jedit.l4j.ini file. Asking the end-user to re-install jedit on Windows so that some later version of the jre be used is retrograde. Java will notify the user on Windows when a new java jre is available for installation and, after such an installation, it should not be necessary to re-install jedit just to have it use the new jre.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
The Command Line: Reinvented for Modern Developers
Did the resurgence of CLI tooling catch you by surprise?
Reconnect with the command line and become more productive.
Learn the new .NET and ASP.NET CLI. Get your free copy!
http://sdm.link/telerik
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...