Bugs item #1543649, was opened at 2006-08-20 17:01
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1543649&group_id=44253
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: None
Group: 4: Serious
Status: Open
Resolution: None
Priority: 5
Submitted By: dotnetted (dotnetted)
Assigned to: Nobody/Anonymous (nobody)
Summary: The [-config] argument does not work.
Initial Comment:
When a custom configuration file is specified through
the use of the [-config] option, the configuration file
specified does not load.
None of the following seem to work:
:>java -jar drjava.jar -config test.cfg
:>java -jar drjava.jar -config ./test.cfg
:>java -jar drjava.jar -config /home/test.cfg
The configuration file (test.cfg) is being loaded by
DrJava as a source file as if the -config option had
never been given.
This has been tried on:
drjava-stable-20060814-2258.jar
drjava-20060420-1406.jar
I'm probably missing something obvious but there's no
harm in submitting. =]
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1543649&group_id=44253
|