[DrJava] [ drjava-Feature Requests-581994 ] config file location command-line option

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

Feature Requests item #581994, was opened at 2002-07-15 18:24
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=581994&group_id=44253

Category: User interface
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Christopher Haynes (chaynes)
Assigned to: Nobody/Anonymous (nobody)
Summary: config file location command-line option

Initial Comment:
For security reasons, some environments do not allow 
users to customize their profiles. For this, or ther 
reasons, it would be great if there was a command-line 
option to specify an alternate location (or name, for that 
matter) of the .drjava file (as many other applications 
allow). 

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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=581994&group_id=44253