|
From: <no...@so...> - 2002-07-15 23:24:23
|
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 |