From 32ef695c8795f74442bf3a5219e6a18108463f93 Mon Sep 17 00:00:00 2001
From: raj_mathe <raj.dahya@math.uni-leipzig.de>
Date: Mon, 29 Aug 2022 19:04:03 +0200
Subject: [PATCH] master > master: minor fixes for windows

---
 code/python/justfile | 2 +-
 code/python/main.py  | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/code/python/justfile b/code/python/justfile
index 90cc67a..51a6e3a 100644
--- a/code/python/justfile
+++ b/code/python/justfile
@@ -1,4 +1,4 @@
-set shell := [ "bash", "-uc" ]
+# set shell := [ "bash", "-uc" ]
 _default:
     @- just --unsorted --choose
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
diff --git a/code/python/main.py b/code/python/main.py
index 0d2962a..99e57f7 100644
--- a/code/python/main.py
+++ b/code/python/main.py
@@ -44,4 +44,6 @@ def enter(*args: str):
 
 if __name__ == '__main__':
     sys.tracebacklimit = 0;
+    # NOTE: necessary for Windows, to ensure that console output is rendered correctly:
+    os.system('');
     enter(*sys.argv[1:]);