diff options
| -rw-r--r-- | src/launch.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/launch.sh b/src/launch.sh index 1bec502..2523767 100644 --- a/src/launch.sh +++ b/src/launch.sh @@ -12,14 +12,14 @@ failed() { run_game() { PAYLOAD_LINE="$(awk '/^__PAYLOAD_BEGINS__/ { print NR + 1; exit 0; }' "$0")" || return 1 - tail -n +"${PAYLOAD_LINE}" "$0" | xz -d > "$TMPFILE" || return 1 + tail -n +"${PAYLOAD_LINE}" "$0" | gzip -d > "$TMPFILE" || return 1 chmod +x "$TMPFILE" || return 1 DYLD_LIBRARY_PATH=libs/ LD_LIBRARY_PATH=libs/ "$TMPFILE" > output.log 2>&1 || return 1 return 0 } cd "$(dirname "$0")" || exit 1 -trap '{ rm -rf "$TMPFILE"; }' EXIT HUP INT QUIT TERM PWR +trap '{ rm -rf "$TMPFILE"; }' EXIT HUP INT QUIT TERM if ! TMPFILE="./$(mktemp .Pong-XXXXXX)"; then |