master > master: minor fixes for windows

2022-08-29 19:04:03 +02:00 · 2022-08-29 19:04:03 +02:00 · 32ef695c87
commit 32ef695c87
parent 1ee5e7415b
2 changed files with 3 additions and 1 deletions
--- a/code/python/justfile
+++ b/code/python/justfile
@ -1,4 +1,4 @@
-set shell := [ "bash", "-uc" ]
+# set shell := [ "bash", "-uc" ]
 _default:
    @- just --unsorted --choose
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
--- 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:]);