From 9aa2ca76fa5b5b6454e93f0d596d684cbe969825 Mon Sep 17 00:00:00 2001
From: s-ol <s-ol@users.noreply.github.com>
Date: Tue, 19 May 2020 15:28:11 +0200
Subject: once again, revamp windows distribution

---
 dist/fix-bat-script.sh | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100755 dist/fix-bat-script.sh

(limited to 'dist/fix-bat-script.sh')

diff --git a/dist/fix-bat-script.sh b/dist/fix-bat-script.sh
deleted file mode 100755
index 0a3c8f0..0000000
--- a/dist/fix-bat-script.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/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
-- 
cgit v1.2.3