summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2021-08-10 23:26:25 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2021-08-10 23:26:25 +0200
commitf0b75258346f043a861e868c8911afabeb6dae8c (patch)
tree7ea790f2beab4aa014ae7059abb245179a54f6a1
parent74f3ba72f2fdcd3a0915df25c0d30f4d2674c5ce (diff)
Adds -h|--help
-rw-r--r--src/core/src/tonkadur/RuntimeParameters.java10
1 files changed, 9 insertions, 1 deletions
diff --git a/src/core/src/tonkadur/RuntimeParameters.java b/src/core/src/tonkadur/RuntimeParameters.java
index d62263d..a4ad344 100644
--- a/src/core/src/tonkadur/RuntimeParameters.java
+++ b/src/core/src/tonkadur/RuntimeParameters.java
@@ -89,7 +89,11 @@ public class RuntimeParameters
);
System.out.println
(
- " --legal \t\t\tPrints the relevant licenses."
+ " --legal\t\t\tPrints the relevant licenses."
+ );
+ System.out.println
+ (
+ " -h|--help\t\t\tPrints this help."
);
for (final TonkadurPlugin plugin: plugins)
@@ -231,6 +235,10 @@ public class RuntimeParameters
{
print_license();
}
+ else if (option.equals("-h") || option.equals("--help"))
+ {
+ print_usage(TonkadurPlugin.get_plugins());
+ }
else if (!options_it.hasNext())
{
target_file = option;