From: SourceForge.net <no...@so...> - 2013-05-28 22:30:08
|
Patches item #3614065, was opened at 2013-05-28 15:30 Message generated for change (Tracker Item Submitted) made by sub_optimal You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: general Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Frank Dietrich (sub_optimal) Assigned to: Nobody/Anonymous (nobody) Summary: system property "user.home" on Windows Initial Comment: 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 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 |
From: SourceForge.net <no...@so...> - 2013-06-04 20:30:59
|
Patches item #3614065, was opened at 2013-05-28 15:30 Message generated for change (Settings changed) made by sub_optimal You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: general Group: None Status: Open >Resolution: Fixed Priority: 5 Private: No Submitted By: Frank Dietrich (sub_optimal) Assigned to: Nobody/Anonymous (nobody) Summary: system property "user.home" on Windows Initial Comment: 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 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 |
From: SourceForge.net <no...@so...> - 2013-11-27 22:14:49
|
Patches item #3614065, was opened at 2013-05-28 15:30 Message generated for change (Settings changed) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: general Group: None Status: Open Resolution: Fixed Priority: 5 Private: No Submitted By: Frank Dietrich (sub_optimal) >Assigned to: Alan Ezust (ezust) Summary: system property "user.home" on Windows Initial Comment: 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 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 |
From: SourceForge.net <no...@so...> - 2013-11-27 22:18:41
|
Patches item #3614065, was opened at 2013-05-28 15:30 Message generated for change (Comment added) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: general Group: None Status: Open Resolution: Fixed Priority: 5 Private: No Submitted By: Frank Dietrich (sub_optimal) Assigned to: Alan Ezust (ezust) Summary: system property "user.home" on Windows Initial Comment: 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 ---------------------------------------------------------------------- >Comment By: Alan Ezust (ezust) Date: 2013-11-27 14:18 Message: 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. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 |
From: SourceForge.net <no...@so...> - 2013-11-27 22:24:43
|
Patches item #3614065, was opened at 2013-05-28 15:30 Message generated for change (Comment added) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: general Group: None >Status: Pending >Resolution: Invalid Priority: 5 Private: No Submitted By: Frank Dietrich (sub_optimal) Assigned to: Alan Ezust (ezust) Summary: system property "user.home" on Windows Initial Comment: 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 ---------------------------------------------------------------------- >Comment By: Alan Ezust (ezust) Date: 2013-11-27 14:24 Message: 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 ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2013-11-27 14:18 Message: 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. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3614065&group_id=588 |