[ jEdit-devel ] [jedit:patches] #500 system property "user.home" on Windows

[Alan E. <ez...@us...>]

- **status**: pending-invalid --> closed-rejected
- **Group**:  --> 



---

** [patches:#500] system property "user.home" on Windows**

**Status:** closed-rejected
**Group:** 
**Labels:** general 
**Created:** Tue May 28, 2013 10:30 PM UTC by Frank Dietrich
**Last Updated:** Wed Nov 27, 2013 10:24 PM UTC
**Owner:** Alan Ezust


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


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/patches/

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