From 82ef0e8cafd362b3812985533dbed4cd6b978760 Mon Sep 17 00:00:00 2001
From: Tue Herlau <tuhe@dtu.dk>
Date: Sat, 5 Aug 2023 18:34:56 +0200
Subject: [PATCH] Removed wasteful tmp-directory.
---
src/unitgrade_private/pipelines/dummy_handins.py | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/unitgrade_private/pipelines/dummy_handins.py b/src/unitgrade_private/pipelines/dummy_handins.py
index 5482e19..f294c2d 100644
--- a/src/unitgrade_private/pipelines/dummy_handins.py
+++ b/src/unitgrade_private/pipelines/dummy_handins.py
@@ -17,6 +17,8 @@ def make_dummies(zip_file_path="zip1.zip", n_handins=3, screwups=4, student_base
if os.path.isdir(tmp):
shutil.rmtree(tmp)
os.mkdir(tmp)
+ print("Working in directory", tmp)
+
# now we got a temp dir.
# Deploy to this dir and create handins. Turn it all into a .zip file and return it.
np.random.seed(42)
--
GitLab