1 files changed, 24 insertions, 0 deletions
diff --git a/dist/fix-bat-script.sh b/dist/fix-bat-script.sh
new file mode 100755
index 0000000..0a3c8f0
--- /dev/null
+++ b/dist/fix-bat-script.sh
@@ -0,0 +1,24 @@
+#!/bin/bash
+IN=$1
+MODE=$2
+
+head -n 2 $IN
+
+cat <<EOF
+set PR=%~dp0..\\
+set PP=%PR:\\=/%
+EOF
+
+PP="D:/alive_pkg/lua/"
+PR=${PP//\//\\\\}\\\\?
+
+if [ "$MODE" = wlua ]; then
+  tail -n 2 $IN | \
+  sed -r "s|${PR}|%PR%|g" | \
+  sed "s|${PP}|%PP%|g" | \
+  sed 's|"%PR%bin\\lua5.3.exe"|start "Lua" "%PR%bin\\wlua5.3.exe"|'
+else
+  tail -n 2 $IN | \
+  sed -r "s|${PR}|%PR%|g" | \
+  sed "s|${PP}|%PP%|g"
+fi