From 2bf79359e6614919f147a279fc1a7c9e2438a37e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Fran=C3=A7ois=20Fleuret?= Date: Tue, 23 Jul 2024 07:05:42 +0200 Subject: [PATCH] Update. --- main.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/main.py b/main.py index a540cc0..efc40e7 100755 --- a/main.py +++ b/main.py @@ -239,8 +239,11 @@ def log_string(s): now = time.strftime("%Y%m%d-%H%M%S", time.localtime()) -os.system(f"tar zcvf {args.result_dir}/src-{now}.tgz *.py") +with open("this_run.sh", "w") as f: + f.write(f"{' '.join(sys.argv)}\n") +os.system(f"tar zcvf {args.result_dir}/src-{now}.tgz *.py *.sh") +exit(0) log_string(f"argv {' '.join(sys.argv)}") for n in vars(args): -- 2.20.1