Hi,
I use jEdit on a USB drive and before version 5.0 the JVM option "-Duser.home=" did
work as expected. This system property is in current version ignored and the environment
variable %APPHOME% is used instead on Windows machines.
The attached patch checks first if "-Duser.home=" was specified and use the provided
location otherwise %APPHOME% is used.
kind regards
Frank
Submitted | sub_optimal - 2013-05-28 22:30:08 | Assigned | ezust |
---|---|---|---|
Priority | 5 | Labels | general |
Status | pending | Group | None |
Resolution | invalid |
2013-06-04 20:30:33 sub_optimal |
fixes an issue in the initial patch 02-system_property_user.home.patch (2.1Kio) |
---|---|
2013-06-04 20:30:59 sub_optimal |
- **status**: open --> open-fixed |
2013-11-27 22:14:49 ezust |
- **assigned_to**: nobody --> ezust |
2013-11-27 22:18:41 ezust |
System.getProperty("user.home") works better than actually checking the command line
arguments. But i will fix things up so it does check that also.
|
2013-11-27 22:24:42 ezust |
- **status**: open-fixed --> pending-invalid |
2013-11-27 22:24:42 ezust |
Why is it important that you are able to -Duser.home= in order to change how jEdit
behaves, when jEdit has its own command line argument for this purpose?
|