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
|
