Menu ▾ ▴

#500 system property "user.home" on Windows

None
closed-rejected
Alan Ezust
general (64)
5
2017-10-15
2013-05-28
Frank Dietrich
No

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

Discussion

  • Frank Dietrich

    Frank Dietrich - 2013-06-04

    fixes an issue in the initial patch

     
    02-system_property_user.home.patch

  • Frank Dietrich

    Frank Dietrich - 2013-06-04
    • status: open --> open-fixed
     

  • Alan Ezust

    Alan Ezust - 2013-11-27
    • assigned_to: nobody --> ezust
     

  • Alan Ezust

    Alan Ezust - 2013-11-27

    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.

     

  • Alan Ezust

    Alan Ezust - 2013-11-27

    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?
    You can achieve what you want (jEdit using a different settings directory) without patching jEdit at all, but simply using
    java -jar jedit.jar -settings=/path/to/your/settingsdir

     

  • Alan Ezust

    Alan Ezust - 2013-11-27
    • status: open-fixed --> pending-invalid
     

  • Alan Ezust

    Alan Ezust - 2017-10-15
    • status: pending-invalid --> closed-rejected
    • Group: -->
     

Log in to post a comment.