X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalview.java;fp=src%2Fjalview%2Fbin%2FJalview.java;h=c792a96d17750b872ad2c55be7d63e4742125833;hb=1f41372a2bda3efcc27abaed092495548135b6b4;hp=04cf2a35709d6b8435e16b68d7db2aa7c8cdb5f6;hpb=692669611f7244598bd34df92e8a3e5cbaf9bd2e;p=jalview.git diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java index 04cf2a3..c792a96 100755 --- a/src/jalview/bin/Jalview.java +++ b/src/jalview/bin/Jalview.java @@ -379,7 +379,16 @@ public class Jalview } // new ArgParser - ArgParser argparser = new ArgParser(args); + ArgParser argparser; + // --argfile=... -- OVERRIDES ALL NON-BOOTSTRAP ARGS + if (bootstrapArgs.containsKey(Arg.ARGFILE)) + { + argparser = ArgParser.parseArgFile(bootstrapArgs.get(Arg.ARGFILE)); + } + else + { + argparser = new ArgParser(args); + } if (!Platform.isJS()) /** @@ -608,7 +617,7 @@ public class Jalview } } // Run Commands from cli - boolean commandsSuccess = Commands.processArgs(argparser, headless); + boolean commandsSuccess = Commands.processArgs(argparser, headlessArg); if (commandsSuccess) { Console.info("Successfully completed commands"); @@ -937,7 +946,10 @@ public class Jalview // //////////////////// if (!Platform.isJS() && !headless && file == null - && Cache.getDefault("SHOW_STARTUP_FILE", true)) + && Cache.getDefault("SHOW_STARTUP_FILE", true) + && !Commands.commandArgsProvided()) + // don't open the startup file if command line args have been processed + // (&& !Commands.commandArgsProvided()) /** * Java only *