Merge branch 'dev' - slightly better (?) PowerShell support

2023-04-11 00:30:19 +02:00 · 2023-04-11 00:30:19 +02:00 · f0bc3f5c95
parent 44b2b03196 e901a56468
commit f0bc3f5c95
1 changed files with 4 additions and 1 deletions
--- a/smartsh.py
+++ b/smartsh.py
@ -87,6 +87,9 @@ if is_in_teacher_mode == False and apioutput is not None:
        print("Executing command: " + apioutput)
        if colorize_output:
            print("\033[93m")
+        if tune_for_powershell:
+            os.system("powershell.exe -Command " + apioutput)
+        else:
            os.system(apioutput)
        if colorize_output:
            print("\033[0m")