From: SourceForge.net <no...@so...> - 2006-08-20 22:01:04
|
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 |