Add envvar to enable automatic .gitignore creation for workdirs

diff --git a/sbysrc/sby.py b/sbysrc/sby.py
index 5616bc0f0d76795d5449caeb55226fb956b98481..d28cd29b0ac1802ddfdb4b7463eac65cbb0f0805 100644 (file)
--- a/sbysrc/sby.py
+++ b/sbysrc/sby.py
@@ -415,6 +415,10 @@ def run_task(taskname):
         my_opt_tmpdir = True
         my_workdir = tempfile.mkdtemp()
 
+    if os.getenv("SBY_WORKDIR_GITIGNORE"):
+        with open(f"{my_workdir}/.gitignore", "w") as gitignore:
+            print("*", file=gitignore)
+
     junit_ts_name = os.path.basename(sbyfile[:-4]) if sbyfile is not None else workdir if workdir is not None else "stdin"
     junit_tc_name = taskname if taskname is not None else "default"