From 9310c52f859d256e56d0745a120371bf8eeacef2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20R=C3=A4diker?= <git@flra.eu>
Date: Fri, 3 Nov 2023 21:35:02 +0100
Subject: [PATCH] Fix uebung.bat not working with sh

---
 uebung.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 uebung.bat

diff --git a/uebung.bat b/uebung.bat
old mode 100644
new mode 100755
index 4009ec7..5ba1677
--- a/uebung.bat
+++ b/uebung.bat
@@ -1,5 +1,5 @@
 : # you can run this script on both windows and unix
 : # if it doesn't work, just run node directly
-:; node ./scripts/main.js $*; exit;
+:; node ./scripts/main.js "$@"; exit;
 @echo off
 node .\scripts\main.js %*