From: François Fleuret <francois@fleuret.org>
Date: Tue, 23 Jul 2024 05:05:42 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=2bf79359e6614919f147a279fc1a7c9e2438a37e;p=culture.git

Update.
---

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):