diff options
| author | s-ol <s-ol@users.noreply.github.com> | 2020-05-19 13:28:11 +0000 |
|---|---|---|
| committer | s-ol <s+removethis@s-ol.nu> | 2025-03-02 14:24:49 +0000 |
| commit | 9aa2ca76fa5b5b6454e93f0d596d684cbe969825 (patch) | |
| tree | 1187930170de8e5112c7cb0a66a31603a8be32bc /dist/fix-bat-script.sh | |
| parent | update featured video (diff) | |
| download | alive-9aa2ca76fa5b5b6454e93f0d596d684cbe969825.tar.gz alive-9aa2ca76fa5b5b6454e93f0d596d684cbe969825.zip | |
once again, revamp windows distribution
Diffstat (limited to 'dist/fix-bat-script.sh')
| -rwxr-xr-x | dist/fix-bat-script.sh | 24 |
1 files changed, 0 insertions, 24 deletions
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 |