diff options
author | Lars Wirzenius <liw@liw.fi> | 2023-12-27 10:44:11 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2023-12-27 10:44:11 +0200 |
commit | cd76361bfc89cbf4e3aaea946966ef7c12e3dabb (patch) | |
tree | dc07c8ee2916546426497f14ad75a812cf38aa5b | |
parent | 70fddb15d2ddee42030276a7d9771ed5e4676d5a (diff) | |
download | wumpus-hunter-cd76361bfc89cbf4e3aaea946966ef7c12e3dabb.tar.gz |
feat: make --run-log and --stats required
Signed-off-by: Lars Wirzenius <liw@liw.fi>
-rwxr-xr-x | wumpus-hunter | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/wumpus-hunter b/wumpus-hunter index f708d43..d255383 100755 --- a/wumpus-hunter +++ b/wumpus-hunter @@ -31,9 +31,13 @@ def parse_args(): "--run-log", default=RUN_LOG_DIR, help="Write per-run log file to this directory", + required=True, ) p.add_argument( - "--stats", default=STATS_FILE, help="Write statistics of results to file" + "--stats", + default=STATS_FILE, + help="Write statistics of results to file", + required=True, ) return p.parse_args() |