[ jEdit-devel ] [ jedit-Bugs-1399619 ] user.home property bug on windows

[SourceForge.net <no...@so...>]

Bugs item #1399619, was opened at 2006-01-07 23:40
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1399619&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: editor core
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: user.home property bug on windows

Initial Comment:
Since JEdit uses the user.home system property to read
and save the .jedit configuration files, many MS
Windows users will not be able to save their settings. 

The use of user.home property works fine on most
plattforms but not on MS Windows since sun has decided
to always point the user.home property to the directory
that is just above the desktop folder and not the
USERPROFILE folder.

Because of this many users will not be able to save
their settings if they are working in a company
environment where the desktop directory is remapped to
a non writable networkshare. This is a very common setup.

A workaround would be to have an option in the
installer to find out the correct home directory and
then update all shortcuts to start jedit with the
-D<property> flag like this:

javaw -Duser.home=correctdir -jar jedit.jar

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1399619&group_id=588